If you recall, years ago I put together a 46 wrench set of the Williams DOE ribbed style from the mid 50's. That set hangs on the wall in my shop. The other day I found a Whitworth version of the same wrench and now want to assemble a set. Many years ago I passed up a set of 4-5 on ebay and have been kicking myself ever since. If any of you have any to sell, I'm in the market!