In Windows 10, there is no desktop shortcut or menu option for Internet Explorer until you create one.

Link on how to access Internet Explorer on Windows 10.

https://www.isunshare.com/windows-10...indows-10.html

Once you have Internet Explorer open, click Tools (or the gear icon) and select Internet Options, then click on the Advanced tab. The setting is the first one on the list.

If he can get a video driver for the NVidia card, that might fix the issue.