Garnish their pay and give the money to charity.
To heck with the charities, refund it to the Texas taxpayers!