We learned of the red ants at the orientation yesterday morning.
When they bite, they hurt. A lot. So don't get bitten.
Fortunately, they go to bed at dusk, so setting up a campsite near(ish) to them is okay, as they'll go to bed before us.
At least, that's the plan.