I would recommend that the old grout is completely cut out before regrouting and that you do not grout over old grout. The cost for this size pool should be in the region of 750Tl, agree before any work is undertaken, that any tiles that are damaged in the process, are replaced. Be prepared for a lot of dust.