Working on my '84 50hp mariner replacing the water jacket gasket. I discovered, what I thought was a broken off bolt next to the top spark plug, is really a tapped hole to accept some sort of a sensor? What type of sensor may have been there, as I can not find any informtion in my repair manual...