Is Avery Johnson still eligible for a redshirt this season?