Pitted exhaust seats - need machining ?