AMDRO
Yes, used some this Spring in NC. Worked great.
I grew up in S. Fla. We had several varieties of 'red ants'.
One was a small red ant, about 1/16" long. Very painful swarming bites.
A couple were larger, around 1/8". Very painful also.
Not true fire ants. Hard to imagine fire ants being worse
BTW, we also had a long (3/8") thin black ant, very fast, lived single in trees. Run, stop, run, stop. Really really painful. Thankfully uncommon.