Im at the junk yard and seen this alternator pulley. It does not look stock. Looks smaller than normal. Anyone know if im right or wrong?