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