Most of the newer versions of CD-burning software including Adaptec and Nero will automatically do the neccessary conversions when burning mp3s to a music disk.
If this isn't an option, then if you have WinAmp (if the kid plays them on the computer, then you probably have it), it comes with WAV creating - just go to the output plug-ins and choose it, then "play" the ones you want to convert.
