Mathias bases-loaded walk lifts Texas over Marlins in Game 1


              Texas Rangers starting pitcher Glenn Otto follows through on a delivery during the first inning of a baseball game against the Miami Marlins, Monday, Sept. 12, 2022, in Miami. (AP Photo/Lynne Sladky)
            
              Miami Marlins starting pitcher Trevor Rogers throws during the fifth inning of a baseball game against the Texas Rangers, Monday, Sept. 12, 2022, in Miami. (AP Photo/Lynne Sladky)
            
              Miami Marlins' Brian Anderson tosses his bat after flying out during the fifth inning of a baseball game against the Texas Rangers, Monday, Sept. 12, 2022, in Miami. (AP Photo/Lynne Sladky)
            
              Miami Marlins starting pitcher Trevor Rogers, second from left, bumps fists with Lewin Diaz (34) as he is relieved during the seventh inning of a baseball game against the Texas Rangers, Monday, Sept. 12, 2022, in Miami. The Rangers won 3-2. (AP Photo/Lynne Sladky)
            
              Texas Rangers' Josh Jung hits a RBI double to score Adolis Garcia during the seventh inning of a baseball game against the Miami Marlins, Monday, Sept. 12, 2022, in Miami. The Rangers won 3-2. (AP Photo/Lynne Sladky)
Mathias bases-loaded walk lifts Texas over Marlins in Game 1