In that game, CBS reluctantly paid the winnings, and fixed the error so that no one else did it. The casino should do the same since he wasn't shaking the machine, putting coat hangers up the coin return or other such hacks that clearly aren't ok. Asking to turn up the volume or brightness, was ok with the casino employee, even if it unknowingly activates the bug.
I don't see how this could hold up in court. If they can't get the devs to fix it, then take the problem machines off the floor, or implement security in the same way as done to watch card counters. If someone wins more than x times at a machine, or racks up more than $x winnings, pay it out and ask them to leave. Card counters aren't charged with "receiving stolen property", and that's also exploiting an inherent flaw in those games. The casinos bought and paid for the software on their machines, and should be accountable for any flaws in their purchase.
I've been to the casino in question, and have to wonder on any future trips, if I win legitimately even without exploiting anything, will I have unknowingly hit the "Stop" button at a time that could be considered a hack, and be in the same boat as this guy?