Quoted from robertmee:I have a fiber pen for the small stuff, but for an area that large, what grit paper do you recommend?
I use a Dremel with an abrasive buff. Makes it easier to precisely control where you are removing the material and it's more delicate to the board than sandpaper. Won't take much effort to clean that entire affected area.