Since this is a diverse group, I need to invest in a drill bit sharpener. There seems to be many options from a hand held stone with the bit in the drill to industrial sharpeners. I would never sharpen anything over 1/2" down tp 1/16". So what do you have experience and what do you recommend?