Bad player goes south...

[DZgroundhog]

1-2NL 100max; it's pretty late at night so a lot of tables are breaking. A guy gets moved to our table and brings a stack of about $425 with him. After an orbit or so, it's pretty obvious that he luckboxed his way into those chips because he dumped off at least $150. At this point, he grabs two stacks of red (leaving $50ish on the table) and heads to the cage. The dealer asks if he's done for the night and he says that he's not, he's just cashing out $200. Everybody lets him know that he can't do that so he puts his chips back on the table and keeps playing.

But during the very next hand, I notice that he's counting his chips and he only has about $125 in front him...so he obviously went south. I mentioned it to a player sitting next to me and he agreed that there should have been more chips in front of him.

But now we have an interesting choice. This guy's girlfriend had been sitting behind him for a while and was visibly annoyed that she was still at the casino. So if we mention something to the dealer or floor, this guy almost definitely says something like "F you guys, I'm out of here" and racks up. We decided to just let him keep his $100 or so in chips in pocket and let him lose the rest of his stack to the table. FWIW, I think if this had happened earlier in the night, we call him on it.

He ended up winning a couple pots to get his stack up to $200, then probably went south for $25 more before losing the rest of his stack.

What do you guys do in this situation?