Pools were closed until June 5 state-wide. IMO the smell was not from a pool or spa.
Final guidelines for Colorado pools, gyms, playgrounds to reopen | 9news.com
Actually, I'm not sure this applied to hotel pools and gyms, as according to the more restrictive earlier order closing bars, restaurants, pools and fitness centers, etc., those closings seem not to have applied to hotels:
Updated Bars Restaurants PH order.31920_ADA.pdf
[ Places of public accommodation subject to this
Order include bars, taverns, brew pubs, distillery pubs,
restaurants, gymnasiums, theaters, nonessential personal services
facilities, and casinos.]
and
[ III. The restrictions imposed by this order do not apply to any of the
following:
7. Fitness centers and nonessential personal services included in residential
facilities, such as hotels, apartment or condominium complexes or
similar housing arrangements, that are limited to use only by hotel
guests or residents of the housing who are following social distancing
requirements of at least 6 feet between individuals, and the hotel or
property managers are performing frequent environmental cleaning ]
It doesn't specifically mentions pools in hotels, but does not include hotels in the list the order applies to, so I would assume pools were also okay in hotels, if they followed the guidelines.