Real7ime Converter (http://r7cproj.euro.ru/indexe.htm) is a Windows app to save and convert RealMedia files. You should be able to save the files as WAV or MP3. I've used this app once or twice, but it does have to stream the file so you have to wait while it plays the play to the end.