I think they used a tool called a head spinner. Commonly used for finishing the pins on pocket knives, used to be available from Jantz. You put them in a drill press with a corresponding rest...