I'd question whether this dollar chip exists.

N5142, blue/gray, small key, no inserts, white inlay

It's same value as the other two SMKEYS with edge inserts shown below. Seems either Larry or I should have found one by now.

Anything in TCR history file to give history of this N5142 chip listing?