If you can't find a more elegant way, assuming, that you know how to get mp3s from the device on to a PC, it's still possible, to just rename all your files to *.mp3 and put them on the player that way.

Edit: Kinda what SnOwBunZz said.