There is a lot of debate in my area about what a 9.1005 is in the 1/4 mile time. Since I only ran the 8th mile run, I can't really say its 13 seconds but I've seen JBs times and I'm sure he has one where he did a 9.13 and still bagged a high 13. Help!