If malfunction voids all pays and plays, and if the casino can legally not pay what the machine says it should, then it should also be on the casino to track down every single person who's ever put money into that machine and give them a full refund. If a machine has the kind of coding glitch that could cause this sort of payout, who's to say it hasn't been stealing from players all along?