When gas prices rose, the Korean government temporarily cut the tax by around 20%, or so, to decrease the burden on consumers and the economy.
Think about it. Price goes up, more taxes. So, even with a tax cut, tax revenues will not decrease.
Koreans pay a lot for gas. These days, about 2,000 Korean Won per liter ($ 6.30 a gallon). Usually, it is around 1,600 Korean Won per liter.
I doubt most Koreans recognize that gas prices are really high here.
There are many other countries with high gasoline prices, while there are a couple with ridiculously low prices.