$ 0 0 Texas has been using coronavirus relief money to help pay for the multibillion-dollar deployment.