If you add the “bonus” loop on the lake, and also add a helping of campground strides, you get a 6-mile lap.