Sorry Rasczak, buy I fail to see your point...
I don't need a new file format; I like my music in .ogg, the quality is good, and I don't feel like spending endless hours converting ogg to mp3, which will INEVITABLY result in loss of quality.
I just need a small audio player -not a big flashy one- that runs around $40 or so... So far, the only ones that are available, and don't look like they came from the Stone Age, are the really high-tech, well-over-a-hundred dollars, ones.