Does it specifically state that it's just mp3s...

Be an interesting loophole to check if you can play wav/ogg/wma etc...