I know this dosen't really solve the problem of his existing collection, but in the future for new users, toss them towards iTunes instead. A quick visit to the encoding preferences will allow them to change from the default AAC to MP3, without having to install a seperate MP3 encoder.