How to I export or save a wave file as mp3?

Need to email a small file.

Hi,

In the Export Audio Mixdown code MPEG Layer-3 as the file type.

Thanks. I see that I wasn’t looking hard enough to see the file format choice.