An FDM printer can absolutely do the job. My kids are always breaking the battery covers, which I recreate via a FDM printer without issue.
He needs to realign how the part is printed, the layer height, and possibly nozzle size. He can also anneal the parts for added strength.