Is it a stock lower crank pulley? Or a smaller diameter aftermarket??