i have been told by a ferrari dealer that the f1 gear box is a joke and not to go near it but instead to buy the manual, he said that it is a alfaromeo...