I have a i7-3770k with a stock cooler running at stock frequencies, with pretty clean cable management and airflow idling at about 55C and is reaching about 85C after a little work. I am going to get an aftermarket heatsink in the next month or two but, is this normal for the stock cooler? Would it be better if I changed the thermal paste? What could I do to keep it cooler, short of buying an after-market heatsink?