Lenovo most likely would have restored an image to the HDD which would use a special "generic" product key (OEMs typically set up Windows on a system then image that system to the others in that...