Has anyone had experience with an underwater MP3 player? I would think that such a device might be enjoyable now & then, particularly sitting at a deco bar for a while (rock tunes, classical, books on tape, etc.). If so, which brands have you tried and how would you rate it (pros & cons)?