The pool. Heated outdoor pool, open from May to September, and hot tubs in the spa.
The hot tub. Hot tubs in the spa.
I haven't yet found guest reviews that mention the water temperature.
Guide's tip. Outside the pool's opening period, there are still the spa's hot tubs.