Wrenchmensch:
Ok, now I know. I don't think I have ever seen one of those "in the wild" tool hunting. I'll keep my eyes open, though.
I measured the IHC I have, it is actually 9 inches long. Good condition though. I'm gonna put it in my monkey wrench collection. My brother actually found it in some junk he hauled out for someone. I have it's bigger brother somewhere around here, I think.