Yep that doesn’t include medical redshirts, or another method call "grey shirting," which technically be what JUCO is now since it won't count towards eligibility years.
It is so hard to judge (the best player of all time). It is so generational. All the names mentioned were exceptional. Phil Mitchell from May was really good also. Carter from Milford in the late 70's was super good. So many players had different types of talents and situations.