Is that an average lap time or fastest? That's the thing with stock racing (17.5), you can spend a lot for the smallest margins...Their charging/battery regime will affect the punch they can get for a start-but then you're also looking at a high dollar charger..
I don't race stock for these reasons-it's not really stock is it?