OK
I have a solution, in case anyone reads this thread.
I did searches for format converters and ended up downloading AVC Any Vidio Converter free edition.
It is a general purpose converter that will take videos and audio files and spin them out to another format. Its a handy thing to have anyway.
It works fine, as far as I can tell. You can set the MP3 to whatever bitrate you want.
I export the finished X3 project to a WAV file, then convert in AVC. It would be nice to have a more streamlined approach, but I only mix once in a while, so no big deal.
If you install it be careful not to accept the other "free" stuff during installation. It wanted to give me some kind of anti-virus program or something like that, but I said no and everything worked out fine.
The only nuisance is that when you convert it will take you to their webpage and offer for you to upgrade to the Pro version. Kind of like Celemony does on the Melodyne built into X3.
Don't forget to install as administrator.
If this thing burps, I will mention it as a post to this thread.