•  
    The easiest way for me is to first export to WAV, then right-click on it and select Open with iTunes, and then right-click in iTunes, and select "Create mp3 version"
    cygnal 2 years ago
  •  
    Very pragmatic approach. I guess the benefit of using the other tools is that you have more control over the quality/file size ratio.
    [mlp] 2 years ago
  •  
    iTunes also allows different mp3 qualities as well.
    exper 2 years ago