They should contact Senators and Reps, Rep Burgess is an MD but don’t think his district extends to Gainesville.
I will try to get a link to this to Sen. Cruz. I am a total outsider to this family, but he is my Senator.