Well,
If Robina's car is a Zetec, then the screwing was only half as bad as one might think. The Zetec waterpump is driven by the cam belt.
7.5 hours does sound a bit high. I wonder if Big Jim can chime in on the "book time" for a Zetec waterpump. Might as well let us know what the book time is for the Duratec as well
TB