I have some MP3's that I want to convert back to WAV so I can play them in my car. I normally use mpg123 but it is complaining about the MP3 header on the files. Mplayer has no problem playing them. Is there another way to convert them?