jeremy pena v randy vasquez
what is astros record against the pirates all-time
what is astros record against the giants all-time
what is astros record against the dodgers all-time
what is astros record against the cardinals all-time
What is astros record against the reds all time?
what is astros record against the braves all-time
what is astros record against the phillies all-time
gavin sheets games at home
Astros last 5 games
astros away ats record
gavin sheets games vs al at home
third basemen ops leaders 2026
padres record vs AL
coby mayo stats since 7/1
