Pats8e8

Hey you gardeners, I have a big, mean, red ant hill in my garden this year. Any ideas how to get them out of there? I tried planting a rosemary near it, but they have actually destroyed it! I had heard they didn't like rosemary, hmph.