હાઇકોર્ટનું કહેવું હતું કે, અન્ય જયંતીઓ સરકારી ખર્ચે ઉજવવામાં કોઇ વાંધો નથી તો ટીપૂ જયંતીની ઉજવણી પર વાંધો કેમ છે?