What does that mean? Didn't they have to redeem any chips that were outstanding? Then doesn't Gaming see that they are destroyed?