Did it blow a head gasket?
No, I noticed it when I returned the nozzle to the pump. Cost $150 to have it hauled to a mechanic and drained.