Maintaining a brake vacuum pump (brake booster)