I just read on Trip Advisor that they closed the pool for renovation/retile at the GP. Can anyone confirm that? Reviews at TA also said they did not inform anyone it was going to happen. If they did, it will be a welcome improvement. Stinks for the folks staying there. We are going down for the fifth time right after Thanksgiving. Will post an update.