Welcome to our forum.
Yes, we have gators, but only see them occasionally.
Actually, my hot tub is set to 96*, but it went to 99* today....too hot in this heat...my whole ice maker didn't make a dent.