That would only have happened if he'd (i) not set it to auto-update overnight, and (ii) ignored previous requests to update for at least a month.
FWIW my Microsoft Surface Laptop is every bit as good as the equivalent MBP, but then it should be, as it cost about as much...
Edit: actually...