If i'm not planning to do any overclocking, would the stock fan be ok for the 4770k or would it be more beneficial to go with this:
http://www.newegg.com/Product/Product.aspx?Item=N82E16835118003
http://www.newegg.com/Product/Product.aspx?Item=N82E16835118003