Ist im Prinzip egal, Hauptsache er kann die Art wenigstens als Lasius einordnen. Inwiefern man was entfernen muss weiß ich nicht, bin weder Schädlingsbekämpfer oder Hausbauer.

Typischerwiese versucht man aber eher die Kolonie mit langsam wirkenden Fraßködern zu vergiften, als das ganze Haus aufzureißen (je nachdem, ob die Kolonie Zugang zum Garten hat, funktioniert das im Frühjahr am besten - im Sommer haben Kolonien oft draußen Optionen und dann werden die Fraßköder schnell ignoriert).
Die Frage ist halt ob, wo und wie ein eventueller Schaden vorhanden sein könnte (es gibt viele Ameisen, die in beschädigtem Material wohnen), aber gerade die beiden Arten nisten gerne in Dämmung, da braucht es keinen Schaden.