Just curious what color antifreeze was in your engine?I only ask because if for some reason someone used dexcool(red/orange colored) antifreeze and it goes bad it can make a big mess of sandy brown colored crap.Terrible stuff when it goes bad it erodes metal and will leave a brown mud like color on your skin.See it a lot on GM car and truck engines.If it was green stuff then no problem.