My MX instructor told a terrifying story involving snorkelers at Nohoch. A pair had someone gotten separated from their group and ended up far into the overhead in the dark (there’s space between cave roof and water). She was guiding several cave divers that day. They encountered the snorkelers as they were coming out and ended up taking them out. I’m told the snorkelers were damned lucky.