.25 over is a lot of weaving and toilet visiting. I’m happy anyway. Almost exactly the same as my chip time. So my race average on the chip was about 12:15/mile. Last year? 14:03/mile. That’s damn fine improvement.