It won't be shown SR/5 if he was redshirted. He would be a JR. As I see it, Tarento is playing his fourth season, which takes the redshirt into consideration. And Keller will be a SR/5 for sure next season, so you have three scholarships next season.