Just get the AS5 normal (not ceramique), it's easy to use and does the job. When you apply this stuff though, make sure you really thoroughly clean both surfices of the heatsink and cpu from any previous crap. Also clean out your fans of dust and googlies that are in the way of good airflow. Other than that, if it's still getting hot it's probably just the weather and you'll have to wait till Winter again hehe.