BTW, the aux water pump took me about 1/2 an hour. I must be lucky. Everything came off easily and had no problems. The pump was frozen so I'm sure that I didn't waste my effort there. Had I known that I could just unplug the pump, I would have done that.