What was leaking on the head gasket anyway? Just an oil leak, or was there a coolant leak into a cylinder? I didn't notice any spot that that looked obvious.