 I mean, that's the reason why we call the stadium the big O to begin with. It was that there's no capacity to stay within budget. So the conundrum here is that by the official counting, at least, it'll cost like $2 billion to tear the whole thing down and quote unquote, only $870 million to replace the roof. What is your issue with that whole kind of proposition?