Looking for info on ITEK lenses.

[komradekangaroo]

Hey guys, I'm looking to track down information on two specific ITEK aerial lenses made in the 60's for the CIA/USAF. The first is a 13" F/3.5.
Seen here: https://archive.org/stream/USAF_lens_datasheets/04-Section-2-part-3#page/n15/mode/2up

And the second is a 24" F/3.5.
Seen here: https://archive.org/stream/USAF_lens_datasheets/04-Section-2-part-3#page/n21/mode/2up

Both are billed as field-flattened petzvals. They were used on CORONA satellites (13" then 24") and on the Operational Objective Camera on the SR-71 (13"). I have been unable to find any information on other possible applications, production numbers, or surviving lenses. If anyone has any of this information, or owns/has owned/has seen either of these lenses, I'd be very grateful.