Jose Trevino (Rangers, DH): 0/4, 0 rbi, 0 hr @ Mariners. Final: Rangers 3 @ Mariners 5. MLB, Sep 5, 2020. Full box score and game log on Real.