I do not doubt your accuracy on what is current regs with gaming chips. I am going on my past experiences during the 80's and 90's. I've been out of the game since '96.

However, I can assure you there are some ..."only a couple" but some notched high denoms from $500 to $100,000 out there. pristine in everyway except the notch.