Another update! Radiator replaced, but more bad news: apparently the head gasket is blown (from the loss of cooling system). Now we’re reaching the point where repairing it borderline more than what it’s worth. Car’s 12 years old, and has been reliable til now. We might have to total it…