Does anyone know how to sharpen small carbide bits? I use #50 (.070'' diameter) bits in a handheld application (has to be carbide, material too hard, nothing else cuts) and get a fair number of holes out of a single drill. But every so often I have a bad day and chip drill bits out left and...