If he goes into the settings and clicks on about, what version does it list under windows specifications? 20H2 may not be available yet for the system but you can get it manually by going here and click on update now.
https://www.microsoft.com/en-us/software-download/windows10
It would be in their best interest to download the tool on that page and create a new usb with the latest version of 10 already on it since it won't have to go through all the updates afterwards in case he still has to reinstall windows.

https://www.microsoft.com/en-us/software-download/windows10
It would be in their best interest to download the tool on that page and create a new usb with the latest version of 10 already on it since it won't have to go through all the updates afterwards in case he still has to reinstall windows.
