I think you're referring to the pin that the spring hooks onto
Joe. If that's the one then it's a 3/16" diameter pin with
about 5/8" sticking out of the casting. How much is in the
casting is anyone's guess. I would think 1/8" to 1/4" more
would put it somewhere in the ball park.

Denny Graham
Sandwich, IL


Denny G
Sandwich, IL