His machine had died very early (some serial port problems? Can't remember, someone please enligten me on this!). On Saturday we tried to find a dealer where he could get a replacement chip and a socket, but in the end this was all to no avail (well, in the end we DID get the socket - one dealer gave us an old 286 motherboard that we could disassemble, but he still didn't manage to get the machine working until Sunday).