does a redshirt year count as a "season"? like could he go through 1 redshirt year and 2 regular years and have an 80 overall?