Like if BYU plays Hawaii in the Hawaii Bowl this year, but he's still redshirting, do you root for the Warriors or the Cougars?
And they're on the schedule for you guys in 2024 and 2025, so if he goes on a mission he should be in the starting mix for those years.