I caught several over the years but never went that far. If I hadn't got the chips back, I would have went further.

That said:

Today there is much more $ at stake.
Today I would call gaming and let them deal with the thief. Yes he is a thief. If he steals one thing he will steal or cheat something else. If written casino policy allows for what they are doing to this guy, I would back them.