Vorbis implementation isn't that hard a thing to do, and it's extremely easy to convert to MP3 with VLC. And personally, I already have about five different media players just to handle all of the obscure propriatary junk (WMP because it'll play DRM WMA, Quicktime for compressed QT video, Realplayer...