Hmm, having said the above, the resultant mp3 is horribly, horribly compressed. Like quiet sections louder than loud sections horribly compressed.
I'm going to export (or rather, record) to a wave file first then convert to mp3 to try to figure out where the problem lies.
[edit] It was the UMPlayer that I was using the play back the mp3 file; it really makes a mess of mp3 files for some reason, producing horrible audio compression. I guess its rendering engine isn't the best! Windows media player makes a much better job of it.