Wasn't sure for a title for this but basically we have an ant infestation in the 'lean to' which is basically the small garagey bit between the back door and the garden. I'm unsure about using normal ant killer in case it harms the cat. Please could you suggest something? TIA.