I have recently had my a4 cabriolets cam belt replaced, however, it appears that in the process, I have lost brakes servo assistance and turbo boost. Perhaps something has happened to the vacuum pump in the process. Do the vacuum pumps on the 2.5tdi fail completely? Is there a way of telling whether it is the pump at fault?