If you’d told the restaurant manager about it, he would have shrugged and said something like “Well, we’d prefer people not do that, of course.” And that would be it. Trust me on this.