Ouchie! That happened to Koda afew years ago on a camping trip when he was sitting on a rock.
If they bites aren't bothering her too much I personally wouldnt put anything on them
As for future 'attacks' i'd just try and aviod anything that screams an red ant hill could be near by 
If they bites aren't bothering her too much I personally wouldnt put anything on them