Around 10 a.m. today, the City of Buda in neighboring Hays County alerted residents U.S. Immigration and Customs Enforcement (ICE) agents were in the area. Public Information Officer Michelle Henley told MyCanyonLake.com that nobody knew ICE was in town until employees showed