Remember when everyone here said that casinos are just taking your money when a glitch happens, but never pay up for it?
That casino is an exception; they prefer to protect their reputation. There is a possibility of being sued, so they prefer to avoid such suits and maintain their reputation, in the hope that positive feedback and praise from the gambling community will translate into continuous patronage and a steady flow of revenue in their casino.
It's easy to trust this, where they value trust over profit.
If they could prove that it was a glitch in a game system, then why be afraid of being sued? And isnt having a glitch in a game also a hit on a reputation? This time glitch worked in favour of gamblers, next time glitch will work as a "gambler can only lose". Imho to protect their reputation, their tech guy must have noticed it and put whole casino on maintenance until solved.