You might want to check with Robert Eisenstadt. He has them for sale on his site.

The last time I saw those chips (red, only) in bulk was in a Ft. Lauderdale area casino nite/fun nite gambling supply store, but they were quite used.