MP3 Download of student performance

Right now when students download their performance it saves as an ogg file.  This is not user friendly. Is there anyway to allow them to download as an MP3.  This would allow teachers to combine recordings to make "virtual ensemble" recordings.