My father in laws 02 f350 blew a radiator hose and went to overheating as he pulled off to the side of the road. As fate would have it service in my area was down today... I never saw the coolant but he says it was milky. As in there was diesel in it. Could it overheating have maybe warped a cup? of was this probably an ongoing thing that went unnoticed until now?