If you have C7 full, you can mixdown to mp3. It shows up in the export dialog - how about consulting the manual…?
Yes, because the full version is included in C7 you also have a full version of variAudio in C7 and it does not show in the eLCC.
Let me guess - you have not even tried, if you do have any problems encoding mp3, before posting here - have you…?