On Fri, 21 Jul 2017 08:34:09 -0700 (PDT), Uncle Monster
wrote:

I kind of wonder if the BIOS wasn't flashed with a custom build so the laptop could only be used as a terminal? Stranger things have happened. ?(?)?

The client BIOS is set to boot from the server OS. That needs to be
changed when he gets there. For sure.

I'm not thinking it takes "custom" BIOS to do the simple task.