u/Effective_Tie_1259

I keep hearing about old hand tools being worth some $$$. Any of these antiques or just used?