No idea.

What I usually do is stack up the parts, take a caliper, open the jaws, put the pin in the hole, close the jaws to the desired stick-out and there is the length required. Probably need to round off to whatever's available. Need not be a lab quality caliper for that activity...el cheapo harbor freight or even a plastic one from the hardware store is fine.

Lacking a caliper and just wanting to measure, I'd stick a long screwdriver in the hole until it bottomed out... add however much stick-out you want, pull it out and measure with a tape, and there you go.