I have a 2000 F-150 4X4. Its almost at 100,000 Miles. What is the best Spark plugs and the best Coolant to use? I also want to flush my cooling system also. Is there a better coolant for alum. heads? And should I use single platinum or double platinum plugs? My manual says to use AWSD-22E Plugs, which I assume those are Motorcraft. But I am not sure if they are single or double platinum?