I did some strava math. Looks like he went a little over 16 miles assuming he went all the way to the end. I just happen to see where he started because he popped in from a parking lot when I passed him.
I saw him around 9.3 miles. It's 17.69 to the end so he did 8.4 miles ish one way assuming he went to the end.