Players on the IL come off at the end of the year. We always talk about that here when we go over any possible 40-man roster issues. And you do have a case for sending him to the minors since he hasn't pitched in over a year. Sure he'll have Spring Training, but I'm sure they will want to see him go 6-7 innings somewhat consistently before calling him up.