In addition to WAV files, I would like to see the option to export MP3 files in the final production.