Engine out: should I change the head gasket? New question