Can someone tell me if the oem plugs get greased or not? I know the NGKs don’t but wasn’t sure on new oem denso’s. iPhone ?