Great run, lifetime PR (albeit on my weakest existing PR) @10k. I thought I was getting a lot slower, but my pacing ended up being pretty much dead on. Fastest and slowest were within 11 seconds of each other, and were actually the last two miles (slowest, then fastest). HR was higher than I've seen in a while, nice to get it back up.
Garmin clocked 6.12/40:49.78, course and chip time above.