the formal tax dispute process vs District Court for Tax Disputes