Well, the radiator was replaced *right* before I bought the car (the last owner apparently had a leak in the thing, and rather than patch it, replaced it with an OEM one). I'm guessing the coolant system was flushed when this was done, which was about 18,000 miles ago. As for the aux water pump.. um.. not even sure where that would be.

..Then again, at full tilt in the middle of summer, the car DOES get up to about 110C.. so I dunno?