Using the default resolutions installed by the driver can be fine enough for the 15/31 kHz, because although default modes are all in the 15 kHz range, the higher resolutions (interlaced) can be turned into progressive 31 kHz resolutions by GM as they're needed. However, you probably won't have nothing ready for the 25 kHz range, in case you want to use it (384p).