Hello, I have a mantis shrimp that came from my live ocean rock. I think it’s a neogonodactylus wennerae because it’s pretty small and has a similar color. I planned on having a mixed reef tank and so I’d like to know if this mantis shrimp is reef safe. Can it be housed with other fish and coral?