Anyway back to the issue! Water pumps are belt driven-on most engines, aux pumps are electrical, and yes help cool the system after switching off. I had a clio 16v and this had the same thing, only it packed up so i by-passed it. As long as the main water pump is working, imo, your car will be fine!