Hopefully he hasn't actually used it.

FYI, you don't post your product key on the internet, if you ever need to use it Microsoft will have noticed a bunch of other people using it and disabled it, which is a bummer when you need to reinstall.