I'm glad you enjoyed the hike, even if it ended up seeming longer than originally expected. Your daughter is quite the trooper for completing the loop!
I have rechecked the mileage for this loop as written, using our map with junction-to-junction mileages that are derived from wheeled measurements and computer-generated lengths, and the stated 5 mile length is accurate. Hikes rated as strenuous can often include steep climbs and/or descents that sometimes make the distance feel much longer than it actually is.
Trail Conference cartographer