I would get him out....they are fairly easy to get out when lights are off. I caught 2 this way....with thick gloves and plastic tongs- grabbed the beasts.
I think I have something like this in my aquarium right now. I want it out. Should I just remove the piece of live rock I think it lives in if I can't get mine out with tongs?