We ended up running the outer-outer loop (Huntsville State Park slang for '9 miles'). Towards the end of the loop we decided to add a little extra to the run, and took one additional 1.3 mile trail. I have no idea what the name of it is. I call it 'the one with the little purple duck on the sign'. Works for me.
Anyway, Great run, great company, I hope they come back soon.
*See Karen's blog for group photo.