Gene, when did that raid take place?
I was aware that a number of those $1.00 chips turned up last year.
A few were sold on ebay, but have wondered what became of the rest.
I have a used chip from the Stateline CC and one from that recent find: