Haven't really coached in 40 years but back in the day I coached an 18-year-old boy who ran 4:08.8 and a 16-year-old girl who ran 4:38.5. Adding those together we get 8:47.3. Likely there are HS coaches who have kids whose combined times are lower. Curious where 8:47.3 would rank.