Does anyone out there have an aux. electric coolant pump for the turbo that runs after a hot shutdown? Is it really necessary for this pump to be operational (mine is bypassed right now after the plastic fitting broke)? After inspecting it I found it was frozen up anyway.