Obviously $1 and $5 chips are no concern, but what happens to the value of $25, $100, and (Oh my God!)$1000 chips when a casino closes? Is anyone holding these chips just SOL?