2003 Rodeo, 155,000 miles. It's been to be three places, and all agree, blown head gasket. Or cylinder head. One place quoted $4,400. What's reasonable for this repair, and is it worth it, if I can get the work done cheaper elsewhere? This car runs great.