Is it confirmed that these chips came from the El Cortez in Las Vegas?

A few years ago I was talking to a knowledgeable club member about these same chips and he said they are definitely NOT from the El Cortez in Downtown, Las Vegas, even thought some may attribute it from there..