I received a hitchhiker mantis shrimp on some rock that I had ordered from gulf live rock and I don't know what to do with him. He has killed my entire clean up crew and I think he needs to go. I think he is a smasher and he is about 1.5"-2" long and purple in color. What would you guys do with him?