Many diving clubs train and teach in a swimming pool and many members also use the club’s hall time for a good swim.
If you want to shut out the world or just the noise of the hall and instead take lap after lap driven by your favourite music, you can turn to this exclusive waterproof headset designed for watersport athletes
The specifications do not state that you can dive with it, so you probably cannot. It can hold up to 32GB of music files, which can be transferred via Bluetooth.