Na ja, für mich ist das irgendwie ein ähnliches Thema wie " was man gegen Spinnen tun kann". - Nur in diesem Fall fällt auf lange Sicht der Dachstuhl dem Holzbock oder "Der Totenuhr"(dem Klopfkäfer) zum Opfer.
Ich würde einen Schädlingsbekämpfer zu Rate ziehen. Holzwürmer sind wirklich kein Spass. Ich würde versuchen keine "Vergasung" vorzunehmen, sondern Klebefallen aufzustellen. Ihr seid zwar keine Kinder oder Haustiere aber Krebs oder ähnliches wolltet Ihr persönlich doch auch nicht erleben ?