does this car have the original sized pulley on it?