I've been told that the Allegro has been bought and will close in April. I will be at the Ocean Club West at the end of May. My question is: wil the casino remain open during renovation?