Thanks, I'm not looking for novel ways to check anything, just trying to put my mind at ease.
I'm no expert (obviously!) but had been told that it was best to rule out any other problems related to any oil by the plugs, other than the obvious gasket?
I have no idea - just what I've been...