Yes, that's right.
I don't need to replace the short one myself. The end of the short one is crimped as OE.
The overall width of the fitted OE crimped pin is 25.5mm.
The depth of the threaded (hollow) part of the binder pin that I have used is 6mm approx.
So the same pin might possibly be used for the shorter crimped pin. As long as it's possible to crimp/crush the hollow end?