Oh, and to finish a different thread: in the end, I got the VGA-to-DVI-D converter box for it, so that the VGA output could feed into our new USB/DVI-D KVM switch. Got the converter from monoprice -- works perfectly.

Cheers