I have worked on PCs for over thirty years and can tell when it came from a smokers house. It’s usually very dirty and harder to clean. However, it still works after years in that environment. So, I wouldn’t be too concerned about the very brief time some smoke was discharged into the interior of the tank. I believe that running the tank outside in the dust, dirt and muck would cause more issues than a few moments of smoke inside for battle damage effects .
However, additional ducting is another option for battle damage smoke.