Round Rock is a city in Williamson and Travis County, Texas, United States, part of the Greater Austin metropolitan area. Its population is 119,468 according to the 2020 census. From Wikipedia
The Texas Rangers activated their All-Star shortstop after a 10-game absence, but a 2-1 loss to the Mariners keeps them under .500 and last in the AL in scoring.