We will never see everyone healthy at once, and who is in the rotation affects the pen, too, especially Houck.
It looks like Whitlock is in the rotation to stay. (Whitlock, Sale, Kluber, Pivetta and Bello/Paxton (piggyback for 2-3 rotations?)
A 100% healthy pen would then look like this:
7 man pen + Paxton/Bello= 8
Closer: Jansen
8th/9th short: Martin, Schreiber, Bleier (odd men out: Joely, Brasier, Ort, Kelly, Mills)
5th to 9th long: Houck, Winckowski, Crawford (odd men our: Mata, Walter)