Looking for Williams double open end wrenches from the 50's. Specifically the ribbed style. Thanks, Tom