They discovered carpenter ants in the demolition of the addition. I would have thought they would bring in an exterminator to find and eradicate the nest as Carpenter Ants will move their nest if...