guys: i am nowhere near my car, 72 gs pdb, at this moment, so i have to ask this question- what is the size (diameter) of the power brake booster? 9" or 11". tkx