Hey fellas, you do realise paddle shifters aren't free speed, Right?
Unless a car is designed for it, it means adding wiring, pumps, belts and a tank. Adds up to about 35kg all in. Like hiring a 90lb monkey to ride around around in the back just to change gears for you, plus what he eats, plus the space he takes up.
For me, that run stands as the record for all time, after that, the last section of Pikes Peak was paved, now, without the gravel sections, you can drop the ride height, develop ground effects, times will drop.
But it's not the same.
Northwind