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 injury punctuates a year of recurring side issues for the 23-year-old despite his team-leading production.