I see it alphabetically in the Nevada casino list. Never new it was there. I guess I couldn't search for it because management is abbreviated in the title.

I think the proper name for the company is Caesars Entertainment Corporation now. Was renamed (again) a few years ago.

Thanks! I'll try to put the Seven Stars and Diamond Blackjack table markers in there too.