Hey, if you know which rock he's in then it's really quite easy to get him out. Just remove the rock, put it in a bucket. I found that if i sloshed the bucket/rock around a bunch it t--'d them off and mine swam right out...grab the rock, and you're left with a mantis in a bucket. If that...