Rondon has been good but he's still behind Davis, Strop, Carl, Monty and even Wilson and Duensing (for matchups at least) so it would hard to see a situation where he'd really be the best option/needed since all those guys can essentially pitch every game this series. Martin lets Joe be a little more liberal with pinch hitting, double switches, optimal defense, etc. too which likely has a larger effect on tipping outcomes in our favor than having Rondon pitch.