I was doing a walk through at the Cosmo when I noticed someone betting a hotstamped chip. I assumed it was an NCV but then I saw another one at the next table. A cashier told me that they were running short on $5 chips. When was the last $5 hotstamp on the Strip? The last one I recall was at the Las Vegas Hilton, if you consider that the Strip. Last one before that? Silver Saddle?