Replacing a brake booster