José Marmolejos (Mariners, DH): 1/5, 0 rbi, 0 hr @ Astros. Final: Mariners 7 @ Astros 6. MLB, Jul 26, 2020. Full box score and game log on Real.