agreed

if it's minor and only cosmetic and doesn't affect the razor at all then i'd say leave it. just be sure to clean it thouroughly so the pitting doesn't progress