Bruce of MN
Well-known member
Ruth--AS I recall the double lock lifter are 7/16 but not so sure I would buy before a measurement. The thin wrenches are found by luck. They are cheaply made and only turn up occasionally. Easiest is to grind down an ordinary wrench.
I've done both. Thin wrenches are on my "shopping list" at Carlisle and Hershey.