Paul Rogers wrote in a message to Roy J. Tellason:

 RJT> That might be it.  Last thing was last night he was asking me how 
 RJT> to get it to see that he was using a different monitor...

 RJT> Only thing I could think of was "safe mode",  assuming it has 
 RJT> one.  Dunno how many times I can tell him "I don't know" and make 
 RJT> it stick somehow.  :-(

 PR> Should be able to go into Control Panel and delete the existing
 PR> monitor, then add the new one. 

He couldn't get to control panel.  As it turned out,  safe mode _did_ work...

 PR> If it's a modern DPMI monitor Windows could probably detect it on 
 PR> reboot.  I know the M$ W98 defaults for my test bench's IBM 8513 
 PR> won't work at anything but 16/256 colors, and 256 only after I 
 PR> diddled the .INF file to set the right default refresh rate.  So 
 PR> the default detection might or might not work.

It didn't.  At this point it's working,  and I'm not into messing with it any more.

---