Hello all, thinking of adding the metal pedals to my 94 Spider. I see versions offered on Ebay. Was this an option from Ferrari? Dealer? or purely...