Has anyone else tried Nero's MP3Pro encoding? Sounds pretty good to me and the file size is pretty small.