Yes. I don't pay attention to swaps in different cars so I don't know what they "should" run. Regardless, I think it is fairly impressive. I don't get how you can say 12.5 ISN'T fast. That's faster than almost every car he passes on his way to work. I'd def be happy with that.
-Ant.