Do you know, Jay, whether that was the standing price for a HHL chip back around 1966, or was it a discount price? Discount leaves open the chance that the first batch of REX chips went to Taft, with a remainder unclaimed/unwanted and thus sold off at a bargain.