For the record, cleaning seems to have fixed my unit. It overclocks to 237.5 Mhz comfortably now whereas it would not OC previously and many times would fail to run at all.
I am still curious how they managed to get paste in the holes where the screws go.