Does having the extra warm body in the 12th spot make your team better this year? And is this a player you can see starting for you down the road?
If you can answer the first with a definite Yes and the second with a definite No, it’s a no-brainer, IMO, just let him play out his four years, hiding him this year, and as a bench asset as his IQ gets above C+.
But if you see him as a starter for you for more than just his final season, it may be worth it in the long run. My reasoning starts with the assumption that he is going to be far more valuable to you that 5th season than he will be this year. If you project him as a starter by his 3rd season - which would be his soph season, if you keep the redshirt - his final work ethic will likely be up close to 40, assuming he holds on to the starting spot. If he started 4 years, it should end up in the mid 40s. That’s enough for him to max, or close to max all his cores, and even give you a good run on LP as a junior and senior as well. If you don’t redshirt him, and he doesn’t start until his 4th and final year, his WE will start that year barely above 30. So in the long run, you’re giving up quite a bit of development, even considering his up front WE drop. And obviously a 5th year IQ is pretty valuable to a team.
But again, if he’s never going to start for you, then I wouldn’t bother.