My internet was down when Ramos was at-bat but he should have been pinch hit for. You didn't need a homerun or even a hit. You just needed a competent at-bat.
I would have gone with Lombardozzi or Span. With Lombardozzi, you also could have squeezed, which the Genius Davey never would have done.