The vacuum pump on my 200Tdi seems to have some sort of oil leak around it (see photo). Is it likely to just be the gasket where it meets the block or are they prone to leaking elsewhere? Also, the parts diagram seems to show two gaskets sandwiched between the pump and block, separated by an additional plate. Is this right?