While I have the tin off to access the coolant drain bolt I'm going to add
an oil pressure gauge.  Can any one tell me the size of the socket I need to
locate to remove the oil pressure sender between the pushrod tubes?

BobC