I believe within RealPlayer (or the advanced version) you have a choice of format to save the files into. If there's no mp3 then what about wav. Then convert them. But then that would mean a loss of quality converting them to mp3 (they ahve already been compressed to rm.)

I searched & found these: http://www.softforall.com/Multimedia...er07070234.htm

http://www.search.com/search?q=rm+au....nosr.also.web

http://www.google.com.au/search?hl=e...G=Search&meta=

http://www.download.com/3120-20_4-0....search=+Go%21+