What is the Diameter in inches of the stock crank pulley? My friends upper looks stock, and it pegs the boost gauge. The lower measures 7 - 7 1/4. Just curious if it was a stock lower or not. Thanks guys.