Wow, thats really generous of the casino. It also shows how much money a casino makes being able to afford these kind of mistakes.
Who knows where they pulled the money from. Even if they could technically afford paying out this much, hard to believe that they would not have at least taken some hit. They probably did not want to deal with lawsuits as I think that would have been the consequence of this event. That would have been more expensive, I believe and would have just wasted their time as well.