HyperPete
Opinionated curmudgeon
I just used a small round file. The plastic is very thin, it takes very little time or effort.Well, I have a Dremel but the steady hand is debatable. My ADD is always acting up.Dremel rotary tool with a burr bit and a steady hand.