Làm cách nào tôi có thể chuyển đổi tệp RealPlayer RM sang MP3 trong OS X?

Làm cách nào tôi có thể chuyển đổi các tệp RealPlayer RM sang định dạng MP3 (và các định dạng tương thích với iPod khác) trong OS X?

Tôi đã tìm thấy rất nhiều phần mềm cho Windows nhưng không có gì cho OS X. Tôi cũng đã dùng thử phiên bản Switch Free nhưng điều đó không làm gì cả.

Bất kỳ đề xuất?