How would you guys reccomend turning the wav player of the game into an mp3 player? I dont really have the patience to turn all of my songs into wav format, and I have a fixation w/ not taking up a lot of hd space.