To reach 4.5GHz on the Intel® Core™ i7-3770K you are going to need to a very robust solution for cooling. The Noctua NH-D14 is about the best of the air coolers. You might also look at the closed loop cooler like the Corsair H100i.
From the reviews that I have read the closed loops and even better custom water seem to respond quicker to the heat build ups. I personally wouldn't have a problem running the Noctua or the Phantek and excepting to get very good perforance form both of them. I think that they are both very close or equal to the Corsair H100 that I am now using.