The chaps over at HardOCP take a quick look at overclocking the Intel Core i7 920 processor that runs at a stock speed of 2.66GHz. What do you need in terms of cooling when you bring it up to 3.8GHz with at 1.35 vCore? You are not using the stock heatsink for sure.