Thanks for the other welcomes, too! I'm not sure I will be here long enough to capture a wild mantis. they usually appear in the steamier part of the summer, late July-Aug - and we won't be here any more.
As I am a beginner, I thought I would probably figure out the best species and try that...