I discovered a gallon of coolant when I went to drain the engine oil last week. Could this be a head gasket problem?