Does anyone know if the Tropical Paradise Hotel on C/Caulker was damaged, and if so, hoe much? I have reservations over Thanksgiving and the travel agent suggests we cancel!