Keep it clean and live with it. Honing a bore is likely to have far more effect on the patterns (and remove metal unneccesarily) than the pitting. Unless you are going to hone the full length of the bore and choke. If its not too bad I would leave it and keep it clean. There are not many perfect guns out there...

Jonty