smaller diameter brake booster, how big is the stock one? There are aftermarket booster available as small as 7" diameter.