I have 11 different of these chips notched. Also several un-notched.
Chipco confirmed to me that they were roulettes delivered in April 95. 300 of each color. I did not ask how many different were made. There seems to be plenty around.