Converting Creative MuVo WAV to a 'real' WAV

I recently recorded an event using my little Creative MuVo TX FM mp3 player. It created a 22M WAV file of reasonable quality, but lame and audacity had problems converting it to an MP3 file.

The work around is to open the original wav file with audacity and then File->Export as WAV. The resulting wav file is about four times as large, but is in a usable format. From there use your favorite tools to create an OGG or MP3 file.

It appears the problem has to do with the way the MuVo encodes the wav:



VOC001-original.wav: RIFF (little-endian) data, WAVE audio, IMA ADPCM, mono 8000 Hz
VOC001-clean.wav: RIFF (little-endian) data, WAVE audio, Microsoft PCM, 16 bit, mono 8000 Hz