Restaurant Searching for Mystery Diner Who Left $10,000 Tip