It might be a power board issue. He'll need a dmm to check the voltages on the test points on the power supply to see if they fluctuate. I would think power board as opposed to the driver board (scrs/ic's) since all of the lamps go out.
Some info in the power board entry on:
http://www.zaccaria-pinball.com/gen2/index.html