чайническое

А есть какой-нибудь простой способ конвертировать RealAudio в mp3 (либо там в wav и т.п.)?
Такое впечатление, что все стандартные средства (скажем, Nero6) устроены по принципу "либо RealAudio, либо все остальное" :-(