 The other problem, of course, is $870 million is just the number that's being thrown around today to replace the roof. But it still doesn't change the fact that the bowl of the stadium is ugly and it's unusable. So at what point are they going to come back and say, since we spent all of that money on the new roof, now we need to spend money on the outside and on the inside of the bowl, making it serviceable again. That's another $2 billion. And at what point would we have said, gosh, we should have spent the $2 billion and just torn it down when we had the chance?