After some polishing I found that the razor was actually pitted in several places. Nothing too deep, but enough to make polishing and standard tarnish removal a nuisance. Should I polish out the pitting and aim for a nice flat surface again?