they are pretty docile, another creature of great hype. Their personality is akin to that of piranhas. And triggerfish and puffers still love to munch on mantis shrimp, both in the wild and in the aquarium.
that said, I do have some excellent videos of mantis shrimp tearing apart crayfish of equal size, hit me up on aim if interested.