Or you can use GoldWave to record the WMA output to your speakers, and save it as an mp3. It's more useful for MIDI -> MP3 conversion, though. I forget where to get it, but PM me or something if you're interested and I can look further into it when I have time.