According to the docs that did come with the car, it has had all the normal services done. The belts are part of normal service.
(It's one of the reasons I bought such an old car. Got it dirt cheap... Of course, I haggled it down quite a bit because of the bad tires, a rotten exhaust and a non-working sun-roof. )
Didn't think of the pump as the only previous experience I have had with those is the one that was in my Citroën CX (2L carburetted, 110Hp, a real cruiser), and when that one failed, the gushes of coolant was a pretty good indicator of where the problem was...
