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
Bruce Bochy says sending Jung back to Round Rock will give him consistent at-bats to rebuild his swing