It's been over a decade since I was working with 15khz monitors [ back in my amiga days when multisyncs were common on desktops].
One thing that I've noticed with my new mame project, is that the Betson Imperial emmits a different ambient "noise" or whine when it switches to 15khz from 31khz. It isn't annoying or anything, just something I noticed, I take it this is normal operation?