notches, I actually had a machinist put notches in the long one. I didn't know the short one came w/o notches.

Mine is 38 years old. This is a scan of a photo.

[Linked Image from i.postimg.cc]

Last edited by richj; 10/13/22.