Not that I've seen, and I'm a long-time Casablanca owner/collector. Based on all the past sales I can remember on ChipTalk and PCF, I think there may be more of the Gray 818 chips that exist than the $5 and $25 variants you circled below combined.
Casablancas are one of the first Paulson...