Yes, that’s correct. When he was there, he had a 4:17 guy sitting and watching the National XC Championship.
He technically had two. Cantu’s PB in the fall of 2021 was also 4:17 and he was not top 7 at that time. He was top 7 in 2022, so he does not qualify for this title.
As of March 30, 2024, NP only has one sub 4:20 guy (2 if you include Doshi who did it in the past, when Brosnan was the coach). It will probably be corrected by end of the season however.