so my mechanic says that the aux water pump is not working in my 2011 mini s. So until I replace it am I fine as long as I behave and not get in to the turbo much? As long as the engine is on does the normal cooling system take care of the turbo? Or is the aux the one that does it?