I had massive leak a few months back and I Initially thought the same thing as you're thinking now. In my case it was merely the oil filter that had come loose from vibration which as you know is directly above the vacuum pump. So you might want to give it a spray and tighten the filter up and see if that solves the leak - I hope it does.