Not sure if they pool all tips, but it looks like at least this one will be shared, at least with the staff who were present. From the linked AP article:
Ring said the man wished him well and told him to share the tip with the four employees who were working brunch service.
(I was pleasantly surprised to find that answer in the article—especially considering that it’s a very short piece—because usually my burning questions go unanswered, and I’m left thinking They should know that people are going to want to know that!)
