I'm sure somebody already has the numbers so I'll ask instead of looking it up. What is the total cost of buying out Manny + staff along with buying out Mario + the guys he'd most likely bring along? It's gotta be near $15M, which is absolutely beaucoup money for Miami standards.
We're really...