These wrenches were in a box lot (not the long plated one). The finish on the top two and the bottom one must have some kind of plating as they were dirty but not rusty. Could they be some type of war finish? Also, did Craftsman make long and short combination wrenches? The sizes from the top are 1", 15/16", 7/8" and 3/4".