In terms of freshman year game time, you're probably right. However, redshirting is really more about the likelihood that he wants to stay beyond 4 years. Based on his upside, that's a pretty big doubt even before he steps foot on campus. You never know what will happen, but he has an injury redshirt option as well if that happens. In my opinion (which is completely unimportant), I think he should get every minute possible, even in garbage time, to help him progress as soon as possible. He'll probably only be a starter for 2 years like Chase Young and Nick Bosa.