Do you have a source for this figure? Lots of reporting that the buyout was over $40M as of the end of last season. His initial contract, I think, guaranteed 80% of the remaining amount. I would think that if the buyout was reduced from something like 80% to 20% it would be newsworthy, but I...