Pooltücher kann man an der Rezeption ausleihen, kosten 10€ pro Stück, die man bei Abgabe auch wiederbekommt. Wenn man das Handtuch zwischendurch wechseln will, werden 2€ fällig (die man dann nicht wiederbekommt).
In sämtlichen Hotelbeschrieben wird konsequent ausgeblendet, ob Pooltücher im Hotel erhältlich sind. Gegen Gebühr oder gegen Kaution. Wer weiss das?