孩子牙疼’有牙洞该不该补

女儿现在十三岁，感觉牙疼，到我们这里的牙科大夫那看，大夫说；口腔里的大牙有牙洞，需要补牙，可女儿正在成长阶段，不知道女儿这个年龄补牙好么 曾经的治疗情况和效果：牙科大夫检查过一次，说是大牙有牙洞，需要补牙，想得到怎样的帮助：请问女儿这个年龄阶段，大牙有牙洞，补牙好吗