I have a friend with a 2104 ECODIESEL and he accidently put less than a gallon of def into his diesel tank that had nine gallons of diesel before he realized it and shut off the def pump.. He started the engine and ran it about thirty seconds. He had it towed to the garage. What bad news should he expect to get from his mechanic? I told him it would be bad!