Yes, they are the grey two stripers.
I've gone through several complete sets in my time. I have spares of just about every hand tool.
Plus... we've been a Craftsman hand tool family since I can remember. Pretty sure I have your wrenches if you want them.