I didn't think they were ever available at the casino-if they were he wouldn't be getting $20+ for two $.25 chips...