I was wondering if a vintage craftsman stainless fine tooth ratchet could be worth anything?