Since you have a HUGE budget i highly recommend getting the c2d x6800 you'll be so happy you did. The e6600 performs better than a fx-62 at it's at 2.4ghz, the x6800 is clocked 2.93, which will oc to like 3.6-3.8ghz on AIR.
Buy a w/c system and you'll be able to get 4.0-4.2ghz.