Originally Posted by edp
I usually use a knife sharpening stone to grind the bump down, because it's very fine grit, it's flat and it's rigid so it doesn't deform while I'm trying to make a nice precise round hole.
This is a very good idea. I'm going to try that. Thanks!