If you were to log in, you'd be able to get more information on your fellow community member.
F1 race cars have a motor-controlled shift for a manual transmission. The street car transmission often confused with this is a manual shift for an automatic transmission; this is what is offered under brand-names like Tiptronic, Autostick, Sportshift, etc. Ferrari offers a real F1-style transmission as an option for the 355 F1 but so far no other manufacturers have done so.