That seems rather drastic for ants since there’s been a lot of information out there on non-toxic ways to get rid of them. Here’s a few links:
https://www.thefrugallife.com/ants.html
http://www.anapsid.org/pestcontrol.html
http://ehso.com/ehshome/ants.php
To spray that much poison around and in a home is not common with all the information on the dangers of pesticides. You can get safety data sheets on specific products here:
http://www.ehso.com/msds.php
I know a pest problem is distressful for sure and I don’t mean to make you feel bad … we’ve had ant problems many times, but I’ve never been able to buy any of that stuff because I read the labels before I got to the checkout. We’ve always had pets or children around the house also, so it’s not an option.
I grew up with the generation that thought chemicals were miracles … but now we’re finding out what they are doing to our lives, water supplies and the birds and wildlife in it also.
Eventually those poisons will “wear off” so I hope you find another solution for the next time :-)