A 2013 F12 that I’m am trying to purchase has one free service left. The owner was told that it is recommended to also get a gearbox service which is not included in the free maintenance. Does anyone know what this costs and and would you do it if nothing was wrong with a 6,000 mile car? The car also has only one key. What is the cost for another? Should I wait to need a second key?