By my count, Murphy has 2 options remaining. He was added to the roster in 2013, optioned in 2014, but spent all of 2015 in MLB. But I hope this trade wasn't made with any idea of sending Murphy down, though. He should be starting over Suzuki, or we should get an even better starting catcher and dump Suzuki. In any case, I can't see all of out-of-options guys (Arcia, Santana, Pinto, and Tonkin, plus Robinson possibly) making the roster, much less sticking on it all year, meaning our roster shouldn't be that inflexible. Vargas, Rosario, Polanco, and 9 pitchers still have options.