Any one ever had to top up the F1 gearbox fluid? I had the dashboard light coming up a few times and booked the car for a check ..