La piscine. Piscine chauffée d'avril à octobre ; jacuzzi chauffé de novembre à mars, et spa intérieur en option.
Le jacuzzi. Jacuzzi chauffé de novembre à mars.
Je n'ai pas encore trouvé d'avis de voyageurs qui parlent de la température de l'eau.
Le conseil du guide. De novembre à mars, c'est le jacuzzi chauffé qui prend le relais de la piscine.