This is a link to a pretty good discussion re the oil pump.

Towards the bottom, page 3 has a picture of a cracked pump; page 5 and 22 has pictures of the original and improved pump castings.

DISCO3.CO.UK - View topic - Cam belt tensioner mount broke!!!!......