Another way of asking: are people running this software on 15kHz displays?
The question sounds silly, but the only few examples I've come across where people are playing pinball on their MAME cabinets, they use LCDs which have the higher res.
I've just plunged into the first stages of making my cab: ordered my arcadeVGA, i-pac and ultrastiks. So, I don't have a testbed yet to test pinmame at 15kHz... Just want to know because I'm starting on the CAD design of my cab.