Possibly sold to the Irish from U.K. Stocks. Happens a lot in the current defence industry. The RAF sold a number of their Typhoons to oversees buyers and then purchased a new contract which are yet to be built.

And on a slight Tangent, we just witnessed our first Typhoon being scrapped or "Harvested" as they call it (RTP for Typhoon).