David,
More info, there was a set made by Chipco that sold on ebay a while back. I have emailed Chipco inquiring if these were actually made for the Stardancer Casino or simply designed as a home poker set. Will be interesting if I get a response.