As the DM, you know the guy with all the story, he could have said "There is nothing in the cave" or something to that effect or how about "Come on dude, I got your back and will hook you up in due time". He could have handled the issue a million other ways that would not have ostracized the player.
Why? The rogue player was a munchkin metagaming rules lawyer. He should not only have been ostracized form that game but ALL gaming. He wasn't going to be very welcome at future games because he was a disruptive player that caused the entire group of players and DM alike to sotp having fun because of him. The group took it upon themselves for the duration of having to put up with him that night to make it known to him that they were tired of his




. They tied his characters ass up and gagged him for the remainder of the game.
That should of been his sign to stop pissing them off. He ignored all previous signs from the players, and did what he wanted as if everyone was there for his enjoyment.
That is EXACTLY the kind of person you ostracize and EXCISE from games.
When you have one player ruining the game for all, you get right of them!
If you are not the player in question, then maybe you should ask the OP for contact info, or give them yours to pas on to the rogue player, since you seem to want that player in your game. See if your million other ways beyond what it seemed the other players tried, would change the players behavior.
I don't mind interparty conflicts and let them resolve themselves, but when that conflicts one player reducing the fun for all, I would have stopped it much sooner as my job as a DM is to make sure the game works and is fun for ALL/MOST of the players and thrown the rogue out if this was his continuous behavior. That is basically what the players did when tying and gagging his character so he couldn't screw the game up anymore for them.
If you think that is an appropriate way to treat people and will not lead to more and worse OOC behaviour then all the power to you. However, speaking from experience, you never single out anybody and you especially don't pull something like that.
HAHAHAHAHAHAHAHA! Oh yes you do! You do not continue for hours while one person is disrupting the entire game so no one else can play it. You stop the game and remove the negative element. Just as done in schools, businesses, etc. You remove a disruptive element as soon as you can. If they are showing NO signs of concern for others, then they deserve none in return. Fire the employe, suspend a student, whatever to get them out of the way so the people wishing to work together for the same goal can do so.
Again it is the DMs job to remove disruptive players, not to coddle or babysit them. If the player needs a daycare center, then he should go there.
You think for an instant a bar wouldn't have someone singled out by having a disruptive person arrested in front of everyone else there?
The behavior of this person went WAY beyond the game, by completely ignoring everyone else in the game and doing what he wanted. He was rightfully shut down by the rest of the players, including the DM. They made it known to him that they were NOT putting up with any more of his crap.