I can't see a viable replacement for that property either right now. The new "mega" resorts are already struggling. It's not like that corner is a prime location. They should just keep it vacant until the next boom hits.