Tech insight - why Vettel didn’t need a new gearbox after Stroll crash