For #3, it shouldn’t be an issue, since he bought the computer from the manufacturer with the upgrade credit as part of the package. They don’t sell those packages unless the hardware and drivers are compatible with the upgrade, it would be a tech support nightmare otherwise.