I should also mention that my BIOS has a performance setting that can be "Energy Saving", "Normal", or "High Performance", and I keep mine on "Energy Saving".

I should also mention that my BIOS has a performance setting that can be "Energy Saving", "Normal", or "High Performance", and I keep mine on "Energy Saving". Kicking it up a notch or two could undoubtedly boost the performance a bit, and a manual overclock should go even further. (My chip is stable at 4.7Ghz, but it consumes way too much power to leave it there all the time - the computer idles at ~70 watts on "Energy Saver" mode!)