Just curious as to the general opinion here - Friend's 2000 Rodeo was overheating at city speed, not highway. Shop told her the water pump was leaking coolant, estimated $1k to fix. I don't know much about that particular car... does that seem high to anyone? Anything about that particular engine that would be more labor-intensive? Thanks!