There seems to be original grind marks, so I think that a satin finish would be a good option that would look close to original. BTW a satin finish would also tend to hide any remaining pitting, so...