Dave, is it possible to have you run Cinebench R11.5 on your new rig? With my CPU overclocked I get around 9.5, so I can't imagine what you'll get.