Use soundstudio - you can render to AIFF. Then use your fave mp3 encoder..
DO'h just noticed someone said that already! Well, it works anyhow. Complex stuff with lots of channels can take time render at 44.1kHz with interpolation though - be sure to set the mixing buffer to a good few kilobytes...