This is just my opinion, if they are really peppermint shrimp ( not camel or something else) I have never had them damage coral. I have had them munch on something that was dying or on something when a spot of algae started growing. If you want them out obviously that is up to you, but I think you may be going through a lot of work for nothing.
Andy