I reinstalled Windows, but it didn't prompt for a product key, and installed Home right away. I found online though that there's a generic Windows 10 Professional key, which is: K7JG-NPHTM-C97JM-9MPGT ...