"but had no corroboration or provenance that they were ever used in Ohio and"

The Nason family still has 1,000's of the INN chips.
They are spread out in OH, GA, and Texas.
The chips are still in original Jack Todd boxes and say Arrowhead inn, Branch Hill, OH on them.
Sounds like corroboration to me.