round rock is what county
Round Rock is a city in the U.S. state of Texas, located in Williamson County, which is a part of the Greater Austin, Texas metropolitan area. The 2016 census estimate places the population at 122,727.