Hey I realized I was leaking oil and at first thought it was a leaky oil pan gasket. Then I read up some posts and hopefully its just a leaky oil pressure switch. Bought one from GAP today. I was wondering what mm is the bolt head. Also, what is the sensor for on the distributor for that is to the right of the high pressure switch? Thanks.