But if it's the flash config in the Indivision then he won't see the early startup menu.
Assuming it is the the workbench config then it's easily fixable (as suggested above). If it's the Indivision producing output incompatible with the display, I'd suggest connecting to a normal RGB (or composite?) monitor to the standard monitor port and changing the indivision settings that way (again, perhaps requiring boot without startup and renaming config file to revert back to standard PAL/NTSC output).
