What tool do you use to remove these VGA nuts? Someone on another site said use a nutdriver, but didn't say what size. My X220 is running at over 90c sometimes. Not sure if I even want to bother changing the thermal paste cause it's so troublesome. Might just junk it and get a newer thinkpad.