Hi, this is a somewhat offtopic question, but since everyone else is running around with those cool mp3-gadets, does anyone know if the usually available mp3-players can handle .ogg files? Or are there some devices that can do so? thanks for any hints, Peter