Yes, I have the license key for the full 32/64 Pro version(s).
I may go the route you suggested.... Windows Anytime Upgrade, then see if the full version license key will work.
the price of Pro (download) was inexpensive... > $100.00.
Cheap enough where I have a full blown version as ooposed to Home Prem that came with the HP.
Jeesh... I hate when laptops die and I have to upgrade!