for your information...
F1 racing car doesn`t use fully manual gears... as it is consider too slow for human to shift the gear....

they uses semi-automatic sequential gearboxes...
for me actually more like auto gear since gear change just a click of the 2 switches on the steering without need to step on the cluth pedal...

so in translate more like shooting at aperture or shutter priority mode than fully manual mode..

sorry for out of topic...