They should be allowed to keep the money. If it was the gamblers mistake there would be no recourse. The casino's recourse is to sue the card manufacturer.

Those guys were unlawfully detained and brutalized by casino staff once they realised the problem, which is what those other claims are about.