Juan Then (Mariners, P): 1.1 ip, 1 er, 1 k @ Red Sox. Final: Mariners 4 @ Red Sox 9. MLB, May 16, 2023. Full box score and game log on Real.