Yes, but I'd expect HP to sell a Windows 64 Professional Workstation box for power users (nothing like using ego to move hardware) that some upper-middle-class guy with a lot of toys buys to have the biggest and baddest.
I'd like to see Windows 64 out there too but it needs to be done right.