GAINESVILLE, Fla.—A diner at a north Florida restaurant gathered the staff of 10 together to thank them for their hard work before leaving them a $10,000 tip to share. It happened last Tuesday night as the man, his wife and son finished their dinner at the Wahoo Seafood Grill, the Gainesville Sun reported. Shawn Shepherd, who owns Wahoo, told the newspaper he got a call from his employees that night, alerting him to the big tip. His first thought was to be suspicious. “Check his ID and the name on the back of his credit card,” Shepherd advised the employee who called. But the restaurant’s point-of-sale system approved the transaction. Shepherd said he checked back the next day to make sure the money was still there. “Watching these guys get their check was almost as good as Christmas morning,” Shepherd told the Sun. He said he’s very thankful to the …