After working with the parts manager to get the parts down to a reasonable price, it ended up being ~$9300 out the door. That included head gaskets, seals, water pump, timing chains, tensioners, guides, and sprocket . The heads were not warped at all, so no machining needed. I have a list of all...