Other than drilling and notching, what other methods do casinos use to cancel retired chips? Do they ever stamp the centers with something?