TLDR: best to contact service.
Having an untenable puncture definitely calls for a tyre change, which is unfortunate but a safety requirement. If you have a big puncture sealed, you do have a chance of unruly surprises when the tyres face the strenuous acceleration or by extreme (read: Indian) road conditions.
You can either choose to ask the SC to change it for you with a tyre of your choice or get it done at a local shop. Do remember, of you do it at a local shop, the belt tension has to be recalibrated ASAP, hence needs to be coordinated with Service for a viable slot for them to do the belt tensioning.