I'm glad Teddy is Ok. We have ants out here, but not red ants.
When I find a lot of ants I use Baby Powder to get rid of them.
That's what they used at the school I worked for, and it works.
For some reason ants don't like baby powder.
You might want to give that a try.
