So the engine doesn't need to be rebuilt. The thing died on the way to the mechanic. Had to have it towed there and got told it would be $6k for the repairs. The car is 11 years old. It isn't worth $6k. So we're going to have to get another car. The old one is going to get sold on Craigslist for...