Since we have options for exporting to WAV, having the option for a high-quality MP3 makes sense. This would make it possible to avoid having to use a different program to create the better MP3. Note that this choice should also be possible when using the Export to Sheet Music Plus.