52-012 in mikebaker1129's post is not only a short wrench, it's a 6-point.
52-212 is the long, 12-point.
Here's one on eBay:
https://www.ebay.com/itm/Armstrong-...814945&hash=item23a41699a4:g:DGwAAOSwLS5bMtwV
There's a few other, search for "Armstrong 52-212" and you can find them. Closest thing to a Craftsman Pro or Craftsman Industrial, if you can't find either of those.
The Craftsman Professional part number was 009-45991, but that part number has been co-opted by lobster-claw Asian production wrenches.
The Craftsman Industrial part number looks like it's 9-23570.
Shamrock Supply and MSC both appear to have that part number, but from experience, Shamrock is a drop-shipper, and doesn't stock the Craftsman stuff I've tried to order from them in the past, sending me an email telling me the part is out of stock/no longer available. MSC might be different.