One of my friends wants to race a stock 2002 Lightning. Does anyone know about what kinds of times they run?