My Jeep Wrangler's head gasket needs replaced. It also caused leaks in the heater core and water pump. Both of those will need to be replaced as well. The shop quoted me 3,700 to fix. My Wrangler has 175,000 miles, and the body is in good shape. Should I fix or sell?