Ah HA, Audacity, that's what it was called :)
I have loads of WAV files but they don't convert for some reason. Maybe they're not 16-bit? I'll have a look.
Thanks for reminding me about Audacity anyway, that's what I was trying to remember. I know that made the whole thing fairly straightforward :)