Drills

[Alan Burrill <aburrill@bottleneck.demon.co.uk>]

Ok from the list of tools I've found the 12mm x 1.75 Tap wrench, and its use
for the lift pins but, what about the 5mm x 1.75. It appears to be a
non-standard size and what is it used for. Is it correct, the standard size
I can find is 5mm x 0.8

Any ideas!

Alan
#303