Is an aftermarket cooler recommended for i5-3570K, even if I'm not going to overclock it?