Я бы тоже средством воспользовался потому, что не эксперт, но вот что подумалось.
Когда говорим муравей, подразумеваем муравейник, когда говорим муравейник, ....
Короче, вы посмотрите, что является источником, а то так пожизненно будете травить, а они активные и добросовестные. Найдите источник. И если есть большая дырка, конечно заделать и теплее будет.
По опыту знаю, что первое - профилактика, затем борьба.