The Mariners don’t think Julio Rodríguez strained his hamstring before leaving Monday’s game against the Reds.

Rodríguez departed after being hit on the back of his leg by a throw while beating out a grounder. He was also feeling some soreness from the impact of hitting first base afterwards. Still, it sounds like there aren’t going to be any lasting problems here.