Yesterday I noticed a small ding on the edge of the top plate of my razor. I'm not sure if it affects my shave or not. From what I can see it really doesn't touch my face at all. But I'm not completely certain. What do you think? Can I file it down, or should I just leave it?