I discoverd this purely by accident today...
I downloaded a free mp3 editor called wavepad
http://www.nch.com.au/wavepad/ and with beeb radio player on, I pressed record, just to see! It worked an absolute treat at work, but tried it again at home, and sound quality is poor for some reason... I'm sure someone will come up with a better answer...