If they believe they had driver error in the corkscrew why wouldn't the do the lap over for the M3. Either way it had the faster time. Motor Trend had a
4.4 second difference between the M3 and IS-F on a 2.7 mile road course.
http://www.motortrend.com/roadtests/.../photo_16.html