Any idea on cost of something like that to have done? Not something I could do.
If you are referring to ‘double clutching’ it something you do….not something you buy….e.g. it is a shifting technique used by commercial truck drivers or vintage English sports car drivers.
Clutch in, push to neutral, clutch out, give it some gas to match engine speed with transmission speed, clutch in, push to next gear, clutch out in next gear….
If you have ever driven a rig without synchros or spent you free time on the track, or autocross, you would be well versed.
I always double clutch, in fact the Toyota FJ40 pedal cluster is perfect for heal, toe, double clutch.