Archimedes posted
RAF exchange pilots certainly got kills with the USAF in Korea. John Nicholls (later an AOC in C Strike or something equally important) got the first in December 1952 (after damaging three more).
Obit in today's (21 May) Daily Telegraph.