13.66 is the best I've seen. I've run 13.79. I've also seen quite a few run high 13's.
These are with the best drivers of course. Average is about 13.9-14.2.
I've seen crappy drivers hit 15's. It's like they short shift or something. Shifting at 7500rpm, rather than 9000rpm for some reason...??? It's irritating.