Technically the casinos say a malfunction voids all plays. But one of the commenters in this story has the very good point that there must be other malfunctions that results in the customer losing, and for a casino to have a real case they should have to show records of all the people they paid back when that happened, which would be none.