I genuinely appreciate your responses.
To clarify, the lights I observe flicker during game play are external to the pinball machine: lamps, ceiling lights, etc, To satisfy a hunch, I plugged the thing into a UPS (pretty much a line filter)--no more flickering (LED) lights on the house mains...