You woke up at 9am? That's impressive! We were awake at 4am the first day and 6am the other five days. At least we got an early start and had the pools to ourselves at 8am! There were signs about it up in a couple of places in the lobby, but they would have been easy to miss.