Freshwater, rock-lined swimming pool; bar.
They have a rock-lined pool.