If you don't want to overclock you can buy a Xeon v3 (for me the E3-1230 has the best/performance ratio) instead of the 4770. It is the same core as the i7 without the iGPU which you don't need anyways if you have an extra graphics card. You can use a motherboard with H87 chipset and the stock cpu fan. By that you can save quite a lot of money compared to an overclockable i7 system and still get HT which you don't get with an i5 system.