Maybe if lots of people will encounter this kind of issue maybe they will find a good solution for this issue. But since this is rare situation I guess they will just give a warning and that's it.
Yeah, of course it's a rare situation, but in this case we are talking about a fairly large amount of funds mistakenly sent to the wrong address. And I think that in this case devs casino should try to figure out how to try to return this money to the client. Although of course this seems to be a classic case, when as they say "not your keys, not your money" and the chances of getting it are almost zero.