Several magazines posted that number back when the car was new, though it was sometimes confusing as to which tranny they were running. They would sing praises for the manual, for instance, but perhaps only have access to an ATX for testing.
Anyway, I think the number is somewhat accurate for the ATX equipped cars, at least in stock form.