One other dimension that is probably important is the width of the pocket where the spring goes over the pin. This is .141"