I've sometimes gone over budget (pointing it out clearly) if someone can get something massively better for just a little bit extra. Lots of people put up a budget and then 5 posts down add £50 to it.
As to 8350 cooling - you can get to 4.5GHz with a £25 cooler.
easy, this one got me 4.8 no problem on the one I just shipped off to its owner.