I'm in the middle of trying to catch a Mantis Shrimp too.
What was the trick, just patience? Did you get him at night or during the day?
My experience: I observe which live rock did the mantis hide, and then took the rock out. Dip it in fresh water, and the little guy quickly comes out ...