maybe he wasn't stock.
a hatch with a decently tuned turbo B16 will run low 13's or high 12's, SRT4 runs a mid 13(?) maybe a low 14, and stock S2000's run low to mid 14's.
i could be off on those numbers, but i don't think he was stock, or you bull**** on the other races.