Mystery diner leaves $10,000 tip for employees to share

Just before Florida restaurants closed as an anti-coronavirus effort, a local diner left a $10,000 tip that allocated each employee $500.