‘As good as Christmas morning’: Customer leaves $10,000 tip for restaurant’s staff

A customer at a Florida restaurant gathered the staff of 10 together to thank them for their hard work before leaving them a $10,000 tip to share.