You've seen the comments, maybe even commented yourself, pleading for manual gearboxes to remain relevant in the Golf GTI, ...