Is the basis that in 2021 at UA he only played 5 games? That you could redshirt if only 4 were played (yet a bowl game doesn’t count against that, so you could have 5 – in his case, he played 5 regular season games)? He played 4 seasons in 4 years, no JUCO, no covid year (1 year too late). Any other arguments?
Just sue and make it that you can be eligible for up to X games, not seasons … NCAA will then put something else out – 4 seasons, but then medical redshirt, or 4 games or less don’t count, or you can play up to 60 games unless the aforementioned injury. And if you were JUCO, that doesn’t count. And if you want a 9th year, yeah, that’s probably ok too …