Ok, a google search shows there is actually a process. But to me, if he is healthy he has to be on the roster. If he gets hurt, he gets hurt. You'd only be replacing him with Harrison, Patrick etc. Those guys haven't pitched an inning in the post season yet, so it's not like you'd be an arm short.