I'm trying to remember, didn't they say after Irma, when they took down those couple of buildings, that the ultimate plan was to increase the size of the casino, or do something else there? Maybe that's what's going on, phasing out Peli Deli, Red Piano and the Shipwreck Shop, so they can build something there?