> It is standard (though not universal) practice for restaurant staff to pool and divide tips, which would appear to be the same thing from a defrauding-the-tipper perspective.

Absolutely. Thought its definitely more pernicious to find out the restaurant owner was keeping the tips.