Yeah...just a little too convenient eh? Now that they KNOW this was an error ANY reputable establishment would DO THE RIGHT THING!!
Grief. You did not read the article. The casino paid the winnings but to the state.