Just got one quick question. Do I need to get an aftermarket cooler for this chip if I do not plan on overclocking? It's already at 3.4 and I don't see any need to OC it. I've heard sometimes that stock heatsinks don't work well with cpus so I was hoping in my case, the stock heatsink would be fine. Thanks.