They pulled out the problems for Overclocking in the 8xxs. You can now overclock a Dell with an Extreme Edition 840 to 3.6Ghz easily under the cooling they give you; and Velocity Micro are fiddling with a BIOs update to sell there's at 4.0Ghz. They sell them at 3.8Ghz already.