Yeah I don't get it. He got his lefty, why not go Hoffman-Strahm.
(Not Hoffman now though because they don't want Rosario coming in I guess?)
I think you can only remove a pitcher when he ends the inning, ending an inning doesn't lower the total number if you leave him in.