Not your usual tow vehicle :) Manthey could help me on short notice this time so wife and I towed the car to another garage which sourced a used vacuum pump and replaced the old one within 2.5 hours. Normally you have to get the engine out to change pump but somehow our miracle mechanic fixed it - maybe he's got very thin arms and hands.