Luso,
I've never done it, but I think
http://www.google.com/search?&q=convert+realplayer+mp3
and
http://www.google.com/search?&q=convert+realplayer+wma
will give you useful links to programs that can do it. But they might not be free.
For example: http://www.allformp3.com/ra-to-wma.htm
Pick your choice.
Kees
Please someone help HOW to convert RealPlayer files to MP3 and WindowsMediaPlayer. Thanks

Chowhound
Comic Vine
GameFAQs
GameSpot
Giant Bomb
TechRepublic