In addition, you can export to .WAV which obviously gives you the highest quality possible, and also the largest file, and use any WAV to ... convertor program. Lame also comes with this.
In fact, I rather export to WAV first, and encode afterwards using a convertor program. That way, I always have the wav file to use in an audio editor, and it allows me to convert that WAV to other formats too with different qualities.