Machine got here about 2 PM. (We'd waited for it to arrive before going to lunch.) Had a problem: it reported '101 - I/O ROM Error' at startup. Managed to reflash the BIOS, and it quit doing that. The box has the high-resolution (for this machine; 1024x768 instead of 800x600) screen. After some poking, it's working. I'm copying my Windows 2000 system disk over to the one that came with that box, since they're the same size, and the new drive is quiet - which the old one definitely is not.
I was really irritated with the seller, and would have been royally pissed off had the machine had a real problem. Since it doesn't, though, I'm only moderately pissed off.