As long as he has that product key and as long as he is putting the new hard drive into the same old machine, then he can install W7 to the replacement hard drive with the OEM key. Note that sometimes after a reinstall it may be necessary to call Microsoft to get it activated, but if you explain the hard drive had to be replaced then they should be very accommodating.