"a retired Vegas professional whose career has spanned decades is selling his collection of casino memorbilia."

HMMMMMMMM, let me think back about 3 years.
I was in AC with Russ Diaz.
The guy I bought mine from told about the same story. I later tracked 13 he had sold to other collectors with close to the same story.
Robert E bought the 1st one at a big antique show in AC. I missed it bt a few minutes. The guy told me to see him in LV when I got home.
I got a good deal from him so I can't complain. I bought 13 chips from him that was in a baggie, sold 3 for what I paid him, and freerolled 10 chips, all real nice chips.

The thing that scared me was, the day I bought them, I was having lunch at the Fiesta. Mike Spinetti walked in. I threw my baggie with 13 chips in it, on the table and said "look what I just bought" Mike reached in his pocket, pulled out a baggie, with THE SAME 13 CHIPS. I almost croaked!!!!! 2 of them were UNC and unknown $100 Sans Socci chips.

I tracked 10 other sales of the 13 chips in a baggie.

I do not know the ebay seller and do not know if there is a connection between him and my Baggie Man.