The same is true of ogg vorbis though[1], and you can have files about 30% smaller (or same size and better quality if you are at 192kbps or lower for your mp3s).

Okay, my SanDisk player (an m300) is only 17 years old; nevertheless it plays Vorbis files just fine.