Depending on how much needs to be removed, I would use a Dremel tool and go slowly before finishing with a file.

I'm a little surprised that the "thin bit" set didn't go thin enough but I haven't been buying new guns.