Florida man leaves $10,000 tip at restaurant so everyone gets $500