My model is far from accurate, more of a homage to several different variations of the gearboxes created by each team. There are a lot of places where I had to make some design compromises for cost and 3D printability. Also some of the parts I had to come up with entirely on my own given the lack of available information even for 6+ year old F1 gearboxes. Let me know if you have any good pics of one of these gearboxes disassembled, I'm always interested in learning everything I can about them.
So if you're interested check out my build on youtube https://youtu.be/Gfx-vCVJx7Y. I hope to have the whole thing up and running with paddle shifters in the next few months.