Been using my 8470p (i7-3540, Win7 x64) for a week. Was a Dell Latitude user for the previous 15 years. Absolutely love the 8470p. Terrific keyboard and touchpad. Build quality is top notch. 2nd hard drive module is SATA connected (vs. USB) and, as such, is very fast. HP SoftPaq tool makes getting the latest drivers VERY easy. Mine is set up dual-boot: primary drive is Win7 Enterprise X64, secondary, 750 GB Module is Win8.1. Both work great.
Wish the trackpoint had a middle scroller button like the Thinkpad and EliteBook Mobile Workstation models. The little LED light at the top of LCD that is supposed to light up the keyboard is a joke. The ThinkPad models have a much brighter one. Disappointed that the WiFi Button (dedicated button above the Pause/Break button) doesn't include options to control WiFi, WiFi+BT, or BT only like it did with the Dell Latitude series - if you press the button, it turns of WiFi AND BT, no choice.
Tips:
* Spend the extra on the Intel Centrino 6300 WiFi adapter. It is WELL worth it.
* Learn how to use the SoftPaq utility to get the latest drivers.
* Don't spend the extra on the discrete graphics. The Intel integrated graphics are very close in performance and will save battery life and dollars.