2.5 Billion!
Those buildings aren't even worth one percent of that. This sounds like a money laundering scheme. Needs further digging.
Made up value maybe. I lived there for 2 years. I could ship the materials in (You'd have to) and rebuild those casinos for 1% of that.
No single corporate entity would pay such a price for a single lot. But watch, someone will and that will be who they are laundering money through.