Jarrod Dyson’s 2017 season with the Mariners is over. Before Monday’s game with the Rangers at Globe Life Park, manager Scott Servais confirmed that Dyson did not make the trip and has instead elected to have surgery to repair some muscular damage in his pelvic region. Servais said the injury and repair was similar to a sports hernia. “It’s a very minor thing that won’t affect him at all going forward, but he chose to have it done at this time,” Servais said. “He’s obviously done for the season.” Dyson tweaked his groin on a play in the outfield and went on the disabled list on Aug. 19. He returned on Aug. 31 but wasn’t quite 100 percent. He played in just two games after being activated — a complete game on Sept. 1 and then exiting the game the following day in the sixth inning with more tightness/discomfort in the groin area. “When he was healthy, he did a lot for us in the outfield defense-wise and what he can do on the bases, that’s his game,” Servais said. “Unfortunately, he decided he couldn’t play through it.” Dyson played in 111 games, batting .251 with a .324 on-base percentage, 13 doubles, three triples, five homers, 30 RBI and 28 stolen bases. He had 11 assists in the outfield and had 15 defensive runs saved. The Mariners acquired him from Kansas City for pitcher Nathan Karns in the offseason.