Sounds to me like you have what you wanted.
I have roughly 7 years of the HCE records dating into the 1980's. Your DGI's are not in them.
Two members of the HCE family broke it up and both sold chips. Marc Lighterman and I got the records in FL from the guy that bought one of them out. I think we also got most of the chip dies from before the breakup.

The other family member sold to a fellow in NJ. I know his name but can't pull it out right now. Jim Episale will know it if he sees this. He recently retired and moved west. My guess is he is the one that actually sold the DGI chips.