Generous diner leaves $10K tip at Florida Keys restaurant

A tourist in the Florida Keys asked her waitress how many people worked in the restaurant's kitchen, then left a $10,000 tip on top of her $193 bill -- enough for all 14 workers to take home more than $700 each.