Notes
This is the 19th annual 25k on this course. 25k=15.5 miles. I know we shouldn't trust Garmins, but mine read 13.2 miles. Further evidence: the course is a figure 8, and I found trail guides describing one of the loops as 6 miles, and the other as 7. Hmmmmmm.
I logged it as 25k though, because that's what the shirt says.