Not sure if you want him out or not but mine came out when I dumped hot tap water through its holes, I had to remove the rock to do this and unfortunatly killed him in the process, he started heading back in before all the way out and I ripped him into three pieces getting him totally out. It was twice as big as I had thought, I was wearing gloves just in cause. My problem was it was in a 2.5 gallon so I couldn't put traps out of his reach.
I just thought of something else, have you ever seen it eat because they have scary jaws that are very distictive.