Juan Then (Mariners, P): 1.0 ip, 0 er, 0 k vs Astros. Final: Astros 5 @ Mariners 7. MLB, May 6, 2023. Full box score and game log on Real.