Buda is a city in Hays County, Texas, United States. The population was 15,108 in 2020, an increase over the figure of 7,295 tabulated in 2010. From Wikipedia
The Texas Lottery Commission had pledged to retire the game once its six top prizes were exhausted.
