Best Air Cooler for 4.8GHz OC on FX-4300

What air cooler would be the best to use to overclock a fx-4300 to 4.8GHz? My budget is under $80. 

For $5 more, you can get a Phanteks PH-TC14PE. It is a monster! I have one on my 4.6gHz i7 3770k and I idle at 29, maxing at 69-71 under IntelBurnTest (that is degrees C, not F). It comes in a variety of colors (I have black) and performs fantastically.

you dont need $80 to hit 4.8ghz on a 4300

you can easily do it with a hyper 212

could also probably do it on the stock cooler