Jeremy Peña (Astros, SS): 0/3, 0 rbi, 0 hr vs Mariners. Final: Mariners 3 @ Astros 1. MLB, Jul 9, 2023. Full box score and game log on Real.