I'd go with the Dell X50v. You can get it for under $400 on ebay and dell allows owner transer and warranty transfer, meaning if you buy on eBay and do those things, you will have the full Dell warranty and you as the owner as far as Dell is concerned. Also, with the free apps and tweaks that are listed on
www.aximsite.com, it will be faster then the HP counterpart. The only downside is no support for the HP Stereo Bluetooth Headphones, yet.
I've read on the forums, people buying on eBay, getting them shipped to Europe, bypassing taxes and just transfering ownership on the Dell website. Saving hundreds of dollars.