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
José Ruiz reports to Triple-A Round Rock under the Rangers’ control.