No, I dont have the chipco records. Just some random early paperwork that was nothing to do with the collection and happened to include these.
In fact, most of the unnotched chips Ive been showing did not come from the collection, it was just an opportune time to combine the two.