I took the easy way out, similarly - got an ArcadeVGA pci board, which is basically an ancient Radeon that supports 15khz well. I drive it with a groovy arcade Linux install and a pc2Jamma adapter that maps jamma buttons to keyboard input and VGA to the crt.