Examine the heads very closely. Look for any damage to the valves and check for warping of the heads themselves. That is really odd that a 13,000 mile motor just cracked. There is a very good chance the motor was abused, so use that against the junk yard. Make sure the heads really are P...