We are considering buying a log home that is 30 years old. The owners said that there are old word worms in the wood. They are going to have the house covered in a tent & use a gas exterminating treated that way & then put on a protective coat. Will this work? Everything I’ve been reading says to strip it & use a borate solution & then coat. I can’t tell them what to do but I want it done properly.