its the recommended ngk plugs, 'cept i think they the "r" type. think it has a resistor in it. at the time of service, a sunday, thats all i could find.
the engine isn't consuming any water, and there is no mayo in the oil cap. so i think the headgasket is fine. its new 15000km's old, and the car hasn't been overboosted, or overheated at all!