@tej For stuff like that, I’ve used a round file before. I use a really fine, thin, round file (a chainsaw sharpening file). Be careful just to push the file down into the hole and along the top edge to…   Read more»