If you automatically got a 5th year for someone not playing a season, why would you ever red-shirt someone and risk the WE decline?
Just remove the player (or players, since you could get around the limit to one this way) from the depth chart and you'd be golden (unless he transfers away).