I was wondering if any of you 812 owners would have bought one with a manual gearbox if that was an option, or would any of you other fellows would...