Eh, I wouldn't mind a 7th gear. The Corvette and the 911 both have it, and having driven a manual C7, it's kind of nice for high speed cruising.
Keep the rest of the ratios the same and toss a higher 7th gear in there to bump the RPMs down for cruising at 90-100.
I definitely wouldn't have minded it during my ED. Cruising at 4-5k+ RPMs on the unrestricted sections of the Autobahn eats up that expensive fuel quick.