The shop has an old (USA made) Craftsman one. They used to fetch some pretty good money on Ebay (for what they were, a convenience tool). One less thing to carry in an emergency box (smaller box or room for other tools). I was told YEARS ago (shop opened in 54), it was the oil change wrench as sizes were all over the place (by brand and model). When things standardized, the better wrenches started getting used.
The only reason the tool is still there, I believe it was originally purchased, by the owners grandfather. (the owner is in his 60's and his father was helped by his grandfather, to get open)