i would guess that the given top speed was for production models and that the record was set by a race modified example