Just FYI, 1600x1200 is a lot higher than 31kHz. It's more like 80kHz.  31k would be 640x480 (progressive).  At 1600x1200, you have a lot of room to play with fake scanline filters.  If your monitor supports 120Hz refresh (many PC monitors do), you could also do a double framerate and draw the video otherwise natively.  The flicker won't be right, but the video will be.  However, a CRT capable of 1600x1200 probably has a very fine dot pitch that won't look arcade authentic.  You'll probably get better results with scanline filters similar to what people use on LCDs.