I don't know what 'elite' means in high school context, but if you give me a northern Midwest kid who won nearly everything in XC, then runs regularly under 4:20 and 9:10, and isn't running ten miles a day, that's who I'd want.
XC times mean nothing. The 4:0x kid is peaking. Low 9 means an easy transition to 8K.