No one even knows who is taking over the property yet, or what the name of the resort will be. My GUESS is that it will take a little bit (maybe a few weeks, maybe a few months) until the “new” resort comes to fruition, as branding will need to be changed throughout the property. If I were a betting man, I’d put my money on a vanilla setup.