 is that it raised $540 million for the Raiders Stadium as a key component of their financing. So that's kind of a wild card right there because right now that's still up in the air. I think you're so knowledgeable on this, Alan.