I have this craftsman wrench that has 5/16 stamped on one side and 8mm stamped on the other side. Did craftsman at some point in time actually manufacture these like that. I know 5/16 and 8mm are close enough to use for both sizes. I just wondering if I have a wrench that was stamped incorrectly...