SonstigesDie blauen und grünen Badetücher bekommen alle Gäste kostenlos zur Verfügung gestellt. Ein täglicher Wechsel ist zwischen 10:00 und 12:00 Uhr beim gelben Handtuchhäuschen am Kinderpool möglich. Organisiert ist der Wechsel über die Lifeguards.
