Here you go Don.
First two pics show the box art and decals for the kit I have. Decals for German and Italian Air Forces, and RAF Gulf War.There are some of these, pre-owned but certified complete and normally in 'as new' condition at a UK outlet, for £19.99., and they often pop up on e-bay at less cost.
The third pic shows the current issue of the same kit, with different Gulf War decals, and retails at around £27 in the UK - not sure how many decal options are in this issue, but check the reviews and they should give the details.
Apart from the early Italieri and Italeri Tornado kits (ex-ESCI, which are really the pre-production MRCA), all of the current issues of the Italeri Tornado IDS kits are basically the same, and include the relevant parts for the RAF GR1 version, but as far as I know, only those shown below include Gulf War RAF decals.
As far as I know, the Revell IDS/GR1/GR4 kit is the Italeri kit re-boxed., but I haven't confirmed this - again, reviews should show the details.
Note that the Tornado F3 ADV is the 'fighter' version, and is longer than the GR1/GR4/IDS, with the nose and radome being the main length increase, as well as some extra length around the jet exhaust area, so can't be done as a GR1/GR4.
If you decide to go for the Italeri kit, but can't find one, I can get one here and send it over to you.
Hope this helps.
EDIT:- Just checked reviews for the Revell GR4 kit. It's
not a re-box of the Italeri kit, but a 'new tool' from 2016, from Revell Germany, and looks to be a very nice kit indeed. General opinion is that it's the best kit in this scale.
Although it's a GR4, the basic shape and external appearance is the same as the GR1, the main difference, on the real aircraft, being the avionics and cockpit layout. Although the kit has decals for two, UK based aircraft, in overall grey scheme, it could be used to portray a Gulf War GR1, using aftermarket decals. Price looks good too, at around £26 in the UK.