Yeah, that is very likely - I can't imagine any other car having any better aero in ITB, and that's once we hit around 90mph... though I think my 4th gear may be just a little bit better for that straight, seems like I actually stay in 4th a little longer than them, despite a lower shift point (6k vs. 7).