I was going through my box of goodies yesterday and I came upon a hook sharpening file a bought a few years back. It has never been used. Got to wondering how many of you sharpen hooks versus disgarding them when they become dull?