The last screen shot shows 16GB of memory, which was only sold in a configuration including the nVidia dGPU, but the system info also shows that it is using the embedded Intel 520 graphics. Has he checked to see if the nVidia GPU is showing up in the device manager? If not then detaching and reattaching the screen can sometimes wake it back up, or rebooting if it comes to that.