It doesn't matter how, they were still loaded that leads to a stressful inning, not like he was really sharp either plus being close to 90 pitches to start the inning you need to have someone up. Not saying I would have taken him out after Baez but the option should be there