[paulgentile]

Thanks! AOS was replaced and seems to check out. Likely the other. On the by-the-by, my mechanic did put some sealant on the new plug. Should I replace the plug?