John,

Thanks for the info. I agree - from my research, these wrenches should be
pretty common and, in my opinion, not worth $20 or more. That's the problem
with eBay, of course, is that I can find several wrenches that are $10-12,
but then they add $10 shipping. And sadly, the garage sales around me never
really turn up the things that I am looking for. Maybe I just need to go to
more garage sales. Finally, this isn't a tool that I actually *need* - I
have plenty of wrenches that work just fine. It's just that this particular
design "tickles my fancy".

And thanks for the book suggestion - I'll def look into borrowing it from
the library.

Best,
Dan