Whoa!!!!! I don't think I would spend that much. At the most, maybe a little over two grand, but wow--that must be some system you have there. Then again, some of that costs is for your peripherals too. So that adds to the cost.
I have the Bad Axe 2. They allow overclocking, it's just that the multiplier is locked both ways. I've got my E6300 to post at 430 FSB, but I'm running stock right now because I don't feel like dealing with any stability issues right now.