Those products with essential oils won't kill anything but may help deter them somewhat.
I use food grade DE for years, but that too won't kill anything and is a preventative.
I would get some garden dust powder, like Permethrin dust, and wear a mask and dust your coop totally with it. That...