Yeah I averaged 9 ish min per mile when I ran the half. I don't think I'll ever aim for a full as I got bored after 2 hours but when I'm hiking  (backcountry,  20lb pack) 12 min mile is a relatively chill pace. That's sad for a "runner"