In fact, I do not recall ever seeing any with a casino name. Otherwise, a generic CdeF is all I have ever seen.

I stumbled upon this one on eBay which was listed for at least eight months and, that was only due to me making a spelling error in what I was searching for...

I'd like to find some other denoms from the series; though I think this might be the only one known. Fun hobby, for sure... never a dull moment.