The trick is to delay actually redshirting him until the end of the season. Just leave him off the depth chart so he doesn’t play any minutes all season, then redshirt him. His work ethic stays higher, and you don’t lose attribute points. Probably doesn’t matter if he’s already all maxed out, but for guys who can still benefit from a season of practice, it can help.