ra2wav looks like the best one. That's what I'm using now.It'll take the ra file to a wav file, which you then can compress to mp3. There will be some quality loss though, as ra is lossy, and so is mp3. But at least you'll be able to hear it, and without taking up your entire hard drive.