Hello all- I found these vintage wrenches and am looking for info on them and whether or not they’re worth keeping. One photo is Hazet, another Craftsman, and finally one is a JH Williams adjustable wrench and a small plier stamped “W Germany”. Thank you.