Dad bought a truckload of assorted tools for $1500 and we happened across these in his haul