I'd get the mantis out first since you'll have to do that anyway. Depending on how many of them there are, I like using kalk paste to kill them. I've also used "Joe's Juice" in the past, but it gets pricy. Peppermint shrimp will work 90% of the time, I just don't like them personally.