Plus I believe true freshman Easton Allred is seen as having a very high ceiling. Don't rule out any of those guys plus even some others no one has mentioned. Lots of guys good enough to think they should be running varsity. I would not be surprised if they fielded a team of their 8-14 runners and still made it to nationals next year.
I also think different runners will excel at a 10K XC race than a 3k indoor race. Some overlap, but it isn't entirely the same guys that we will see do well in indoor.