Williamson County Round Rock, The name was changed in 1854 at the request of postal authorities when Thomas C.