The pin in the "tiny" picture are drilled/milled in brass with a single lip tool.
the size is ø0.10 x 1.0mm (.0039 x .039")

The "tool" picture shows the tool, as seen in Z+ direction. The red circle indicates
the pins position in regard to the tool.
 
-JN-