I am playing with Audacity. With it I can save .wav files to MP3. I am also playing with Sony ICD-ST10 which can save the odd and perhaps proprietary .dvf to .wav. But I am using my Windows Media Player to copy music from CDs. They create .wma files. How do I convert a .wma to a .wav? I know there is a simple answer but I just am not finding it.