IS EXTRA MIXING REALLY NEEDED IN ASYMPTOTIC GIANT BRANCH STARS?