Yes, the UK's '50/50 Phantom' with Spey engine eventually cost 3 times the price of a normal US-spec F-4 - and was the world's most powerful and slowest version... All to do with 'balance of payments' or somesuch, as well as Wislon's 'pound in your pocket' nonsense of 1967.
The whole TSR-2 / P.1154 / F-111K fiasco, plus French shenanigans with the AFVG and the 'Gnat replacement' Jaguar being transmogrified into a low level strike aircraft, spawning the need for HS1182 - was a very complicated political procurement farce. But we eventually came out of it with 4 new front line aircraft types for the RAF which served the RAF well even when Tornado GRI and F2/F3 were coming on stream.
As a VC10K tanker pilot, working with around 8/9 different types of fast jet in the mid-80s made for extremely interesting times - Buccaneer, Harrier, Jaguar, Lightning, Phantom and F4J(UK), Sea Harrier, Tornado GR1 and Tornado F2/F3!