Should lawmakers enact a gas-tax 'holiday' to ease pain at the pump?