hours of Los Baños del Mar pool

Hey hey,

the website of SB city indicates hours for the pool on their website. Are these up to date? It's only open for a total of 25h a week.

I don't get it, I guess they heat the 50m pool at 80°F continuously, so surely it would make sense to hire a lifeguard for more extended hours than that?

I would love if they would open before 7:30... that 7:30 - 9:00 slot seems designed for a pre-brekky retiree workout :(