Just the facts.

Finally, a run longer than 5K. Did 4 lovely miles today in record time.
38.05. The splits are a bit buggered up as I was using my watch and a known route rather than the GPS.

9.52
8.48
9.06
10.18 (I ran an extra .1 of a mile at the end to cover any miscalculation in the middle)

So an average of 9:31 per mile. Still beyond chuffed that I can maintain a sub-10 pace. (Also still a little surprised.)