This should be moved to service discussion for the whatever Casino he was dealing with. This isn't a Bitcoin problem, it's user error on the part of the end user or the casino.