Phil,
The Bosch water pump you showed me at Lydden came off a Jaguar X200 with 4.0 litre V8.
Please see my post of January 2nd 2008, where i have listed part numbers and prices for equivalent Bosch pumps, and where to get them from.
Sourcing one from a Jaguar dealer wll probably set you back £170, but from GSF probably about £70.
Hope this helps.
Pete