I don't know if it's a lot, but waterproof music players have been a thing for at least a decade if not more.

I'm with you: I prefer being present and in the pool when swimming. One of the things I dislike about gyms is the (almost always crap) music played.