"Where pins or studs that are in place are to be milled on their ends as well as on their circumference, and where great accuracy in diameter and length are required, the best tool to use is that here shown." —Grimshaw, 1902

Hollow Mill for Pins

"Where pins or studs that are in place are to be milled on their ends as well as on their circumference,…