Public pools and rock pools