 but King then retired the next three, including Manuel Margot, who hit for Walner. Woods Richardson's day was over after six. Josh Stalmont picked up right where Sim left off. He set the Astros down 1-2-3. Brian Abreu to the hill in the bottom of the seventh inning. Jose Miranda pinch hit for Kyle Farmer. And what else? What does Miranda do right now?