as he has not played again he can still redshirt, he just can't play again this season, if he plays the redshirt is gone for this year, but he can play this year and then take a red shirt next season, this comes from dealing with this myself with my oldest son, he got hurt in the 2nd game of a season and the coaches thought it take him out for the season, he healed faster than expected but they ended up redshirting him anyway, their thought why play him in a few games, the NCAA rules regarding this are hard to understand but they are strict about the amount of time they play, one thig i do know once the season is half over a player that plays after the half way point it is considered a full year, meaning if a player that went out with a injury in the 1st or2ng game of the season cannot play a down after the halfway point of the season to use the red shirt