S41, no, Tranche 3 has not been signed for yet. The Saudi aircraft can't, AIUI, be deducted from the UK buy unless the contract is renegotiated: the other partner nations could argue that the UK has renaged on its deal to buy 232 - upon which the workshare deal was agreed, and thus demand a reallocation of work to reflect the changed figures.