Codec choice for Export

It would be cool to be able to chose a specific codec when exporting, so as to reduce time to export, as well as take advantage of Apple's great compression optimisation on their codecs. It would also reduce some of the export time and improve quality of the export.