I would personally avoid the 9xxx chips, the 8xxx chips (same thing, lower clock) can be had for much less and with a simple change in BIOS, perform the exact same way.
http://www.amazon.com/dp/B00MUTWEM6/?tag=extension-kb-20 Improved silicon version for $135. Can push well over 4.5ghz with...