Sorry--typo.
I posted this because a CASINO subscriber had previously asked me to tell him of Holiday Casino chips came up for sale. Wish I could afford it. I stay at Harrah's [nee, Holiday Inn] every year and have a fondness for the old chips.