Thank you for this post, Lorenzo. I wasn’t even thinking of exporting from within Premiere (always used AME). tried and got a surprising result: 4.4 times faster!
I use a GTS250 nVidia card. The GPU utilization jumps to 70%, 80% … from only 2% when encoding in AME.