Fantastic. Many thanks for the update @Canolice. Hopefully this will also help others facing a similar problem. Looking forward to seeing the result ...

Update - So I gave the Borax a go. Got rid of the green ants and the little ants, but not the big fellas. Will try one of the other options and report ...

Ouch. They sound nasty little things. I put a few solutions in another post about ants. You can put water in a spray bottle and add half a dozen drops ...

I would use borax. Mix equal parts of borax and something sweet like jelly in a bowl. You can also make a paste with borax and water and sugar. Then p ...