Our first pair of flippers came with yesterday's arrivals - so thanks for the tip Fraise, I've told the guests that they aren't allowed as there is a risk of puncturing the liner.
Especially tips like that! One of our guests punctured the liner 18 months ago and it cost 3000€ to replace. The only blessing was that it happened at the end of the season and not in Peak!