A friend of mine gave me a A64 3200+ that he was putting in his new computer. He said that he got a bit of thermal compound on the pins (I didn't ask how) and he would like me to do a favor for him and fix it. I've never seen such a situation, there is AS5 on the top of the pins and I cannot think of a way to remove it. Any suggestions?