Muddy Trails 5Kish

I ran a 5k here in Creekside village here in The Woodlands this afternoon. I went out way too fast and wound up run/walking the last 2 miles. Mile 2 seems to be short by about 1/4 of a mile based on my Garmin time and other facebook chatter that I've seen about the total course being short.
My mile plus warmup pace was actually faster than my race pace. Not sure what happened but had a fun time. They had boiled crawfish after the race so that was cool. The race shirt was a technical shirt....another good deal.
Miles per my Garmin were:
0.96 6:52 (7:09 pace)
0.76 6:52 (9:00 pace)
1.06 9:37 (9:03 pace)
0.13 0:58 (7:18 pace)
I ran/walked both the 2nd and 3rd miles so would expect those times to be close.
Hopefully I'll get out the door tomorrow for a run with Waldo.