I am trying to figure out if my crank pulley is stock or not, it measures around 8.5 inches, does that seem right?