vintage machinist tools (including pin spanner wrench possibly boring head tool)