Hi there. Say, I just picked up a really nice example of the 36" Coes Key Wrench. It's quite the beast! Do you know what a wrench like this might be worth? I saw one on ebay go for $400 and another at an auction for around $700 (I think). I'm not sure if these prices are low or way too high.