The 10 in my post is not a Texas chip. It is a new find.

These chips were custom made

Below I pasted together several USPC orders. These chips were not generics