I'm not entirely convinced that the only purpose of that pump is the REST function.
Can it be a something like a "turbo timer" cooling feature that provides cooling for the hottest parts of the engine *after* the main coolant pump has stopped? It may well be that some areas of the engine need some coolant traffic after everything suddenly switches off?
__________________
I'd rather drive on left
|