I don't know about mp3, but personally I use AU converter, there is a lot of information about it on the internet. By the way, it might be possible to convert to mp3 format there. I would suggest you to check it out.

Thanks for post

Thanks for post!