They already got their new computers.
That’s beyond my computer knowledge and I think of the person who told me, but I’m sure someone will appreciate the information.
I find it really hard to believe- even if the UEFI or BIOS became corrupted there’s always a way to get it back up and running.