Can anyone tell me what types of aviation gasoline were available to the US Air Force in Korea. I saw one site that talked about JP1 jet fuel used by the Air Force and JP3 used by the Marines, but the Marines also used 100/130 and 115/145 av gas in their jets and eventually just standardized on...