While I haven't attempted any repair yet, I was thinking about using pin gauges. I have a cheap Chinese set and they are in .001" increments from .060" to .750". I'll start with one that looks like it will slip past the dent and then go up from there in .001" steps. I may have to polish the leading edges but that is a lot easier than turning and polishing a whole plug!


Gazz