I scrubbed most of the green goo with a combination of sand paper and fiberglass pen.
I frequently cleared the dust from the PCB with an ESD-safe brush, distilled water and isopropyl alcohol.
I should probably also wash the entire board with soap water, but I'm not sure which soap is safe for PCBs, and which components need protection.