Thanks for the research Bob C. I mention they could be of value because of the NOS status. My friend and I bought 2 semi loads of gvmt surplus stuff years ago, some ww2, some newer. He got lucky and in his load was a case of NOS red distributor caps for jeeps.
He was getting about 200 each on ebay until gone. My load...not so good, but w2 jeep guys are as serious as 32 ford folks