I have several DuroChrome box end ratchet wrenches. The 9/16th inch has "sprung". In looking for DuroChrome on the Internet, I am assuming that the company is out of business, since the wrenches are listed as "vintage". I was wondering if they are (or were) guaranteed such as Craftsman and if...