Looking for info on which coolant to use in the 2000 Cobra R. I checked the owner’s supplement and it lists: “Premium Engine Coolant WSE-9744-A.” I am assuming this is an outdated part number since I cannot find it. I know some Terminators take green and some take gold (depends on production date). Does anyone know for sure what came in our cars from the factory? Yes, I could drain it to see the color, but I’d like to buy some ahead of time. I am planning on draining the old stuff out and giving it a fresh fill.