Hi Roland
Thank you for that advice, I’ll certainly try that when I arrive.
Update: I asked at the spa, and they wrote on the ticket that I could use it another day due to the revision of the sauna. This then meant that I did not have access yesterday, but as it turned out, this was not such a bad thing, as I had booked a massage during the time I was there, expecting it to be accessed from within the spa, but in fact it is outside! The advice for another time is to allow time for the massage before or after the visit to the spa. Note also the restaurant is outside, so if one wants to eat there, plan that outside the spa slot as well.
Best regards
Noël