Here are the notched 90 & 91 air race chips.
Also the notched HAN 91 chip.
No Chipco advertising on the back. They are real notched chips like the ones that goes for gaming approval.

Not sure if I want to sell them, but would entertain offers.