My Great Uncle gave me these many years ago. He was a heavy equipment mechanic and I am guessing they are from the 30’s to the 50’s I’m sure at the time he told me what they were and what they were used for but I don’t remember. The pin in the holder is actually a drill bit that measures .0155 in diameter. Any ideas ? Thanks