(I am posting this for Matt Wolf from a Facebook group. He is having trouble posting here)

I am in search of info on these chips (I have more than pictured) I have been told a few different possibilities as to origin/era and just wondering what anyone here might know. 19 rectangle design, marked 'HC' on one side, orange are $5, green $1, red 25 cents, and the yellow are significantly handled and worn/smoothed, to where you can barely make out the 'HC' on only a few and I haven`t been able to see the denomination on any yellow, though I am assuming they were 10 cents. Considering the wear on the lower denomination chips, I would think that these were from a significant establishment? They definitely saw some use. Any help would be appreciated, thanks!