I am worried about all the talk of IB running to hot as I was planning on buying an i5-3570k and wanted to overclock to around 4.5ghz maybe a little lower. I have an Antec KUHLER H2O 920 water cooler, and was wandering if I should be fine with that overclock or should I go with maybe an i5-2500k or 2550k? Thanks.