BOAC:
Here is a link to a program called "Total Recorder" which will do the trick for you.
It can record streaming audio, or anything else that goes through your soundcard. I use it to record streaming audio, regarless of it's format or player requirements.
In my case, I went for the "Professional" version. I believe there is a 30 day trial period available as well, so no money need change hands til you are sure it does what you need.
http://www.highcriteria.com/
Regards,
The Old Fogducker