Since torque is flat from about 2500RPM to redline, you really want to drop as low as possible assuming you will stay in gear longer than the next shift - at 70MPH you will be about 5300RPM in 3rd and can run up to about 95MPH before shifting (about 4.5 seconds), so definitely the right choice if you have the traction. (I'll assume you can shift faster than 4.5 seconds with the 6MT
.)
Hmmm - need to figure out how to convert torque in gears to acceleration to compute time to estimate the difference more accurately.
I really need to post my Torque in Gears spreadsheets!