Vintage Craftsman box end wrench V 1/2” x 7/16”