Did they make high end (110+kHz horizontal scan rate, extensive adjustment options in service menu) Diamondtron VGA monitors in 17 inch tube size? I've only ever seen their 19 and bigger monitors with such features