I am in the market for a cheap but good CPU cooler as I don't really plan to overclock, if I do, something light, like 4.0ghz. I have a i7 4770K processor. I'm debating between the 212 Evo and the TC12DX, I haven't been able to find any good comparisons anywhere. Which would be best? Thanks in advance!