"It all depends on the matchups and who we're playing against," he said. "Zimmermann is predominantly a fastball pitcher, and Guzman is a really good fastball hitter."
But it can't be ignored that Krauss is mired in an 0-for-12 slump that has dropped his batting average to .120.
"Right now, he's had some pitches to hit that he hasn't hit," Porter said. "If you miss your pitch, now you're constantly having to deal with hitting the pitcher's pitches, and that makes it more difficult."
Guzman went 3-for-4 with a double in the Astros' 7-0 loss.
Brian McTaggart is a reporter for MLB.com and writes an MLBlog, Tag's Lines. Follow @brianmctaggart on Twitter. This story was not subject to the approval of Major League Baseball or its clubs.