If the player has had an appearance, that counts as using the year of eligibility. The number of games/innings is only used for medical hardship issues. For a player to redshirt for non medical/playing time issues, they cannot participate in any game. So if this player were to transfer, he would have 2 years of eligibility based on your information. Having played this year, there would not be a way to preserve that third year.