Red Cloud® writes:

It gets almost daily use for about 5
months a year, by a number of people.

That's an exceedingly rare level of usage.

Every other house here in SE Florida has a pool, and the most common number
of swim sessions per year is zero.