These chips are generic Crest & Seal chips, named by the manufacturer "Florida Palm". They were available by mail order.

Any casino could have used them for roulettes or house chips, as long as they didn't mind all the ringers that would appear when word got around that they were using off-the-shelf-generics.

Like any generic chips that are attributed to a specific casino, it might be true that they were in use there, but unless they are counterstamped with the name of the casino, there is no way of proving it.

I particularly like this seller's link to his web site, apprently he missed the new rule that went into effect 3 months ago.