Looks like there's a lot more track outside for the DK mine car coaster than I originally thought. Which explains why the building in the permit looks small. Maybe like half of the ride takes place outside, around the DK Country area, (and also above the entrance arch.)
You can actually see the outdoor track sections in the permit if you adjust the contrast:
View attachment 5851
Here it is outlined for you... Green is show building and yellow is outdoor track sections:
View attachment 5853