M2dude,
Thanks for a very interesting story, that puts it all into context !
You may want to glance at this old PPRuNe thread re the Tornado :
Is the Tornado GR4 still supersonic? [Archive] - PPRuNe Forums
It would seem your guess about the F3 was right.
CJ