Hi just joined hope someone can help me answer question about the pool at the Tropicana. We are coming for the first time to celebrate our 30th Aniiversary Oct 25. I believe I read the pool was closing is that true? Was hoping to enjoy a little relaxing and cocktails by the pool and/or hot tub! Thanks!