Will they also return the amount they originally charged you for gas fee? I hope they do because it's their fault for not adjusting the gas fee. If they hired a wallet provider (which is also the case in other casinos), it's still their responsibility.