Sorry for the confusion I have been causing -- I looked again...
The shop that did the tune-up said they put in double platinum but only put in platinum Autolites. I replaced them myself with Motorcraft double-platinum and my problems disappeared.
Serves me right for being gullible. But at least my car is running nicely now !
