Looking at these old plugs, I don't believed the dealer replaced them during the first major service. The green tip usually indicated it was factory installed.