My 2013 F12 had the Gearbox warning light come on. Only 13k miles. Sounds ominous. Anyone have experience? I know speed sensors are a weak spot.