[Comm] Real Audio - как конвертировать?

[Oleg N. Kayunov]

       Имеется: куча ФАЙЛОВ (уже скачанных) в формате Real Audio 
(расширение: .rm).
Проблема: как конвертировать их в нечто "культурное" (mp3, wav)?
Google выдал ссылку на статью linux-music.html, где рекомендуется 
начинать *.rm -> *.wav посредством mplayer.

    Однако, попытка воспроизвесть сие, привела к получению сообщения 
(среди прочих):
Cannot find codec for audio format 0x72706973.
Read DOCS/HTML/en/codecs.html!
(Последнего файла обнаружить не удалось, впрочем).
    Было там и такое:
Playing sound-file.rm.
REAL file format detected.
    Т.е. формат опознан верно?

    Куда копать - не подскажете?


-- 
== В действительности все обстоит совершенно иначе чем на самом деле. ==
	BR, Oleg N. Kayunov.