There were two identical pools with bar and hot tub on each side of the roof. It looked as if they used this one during the heat of the day, then opened both later in the afternoon/evening.
© Joseph E. Filer