Could someone please tell me what the purpose of the auxillary water pump is? When should it come on? What if it doesn't? Any help would be appreciated. thanks, andy