A couple of years ago, the El Cortez ran a redemption of all previous chips. That would have been a good time to get info. Also, remember that a lot of old Flamingo chips give the denomination as simply “5”, and I believe have been proven to be $5 chips.