Are There Alternatives To A Gas-tax Holiday? Yes.