A question for those of you familiar with southern Florida. In most of the US there is no service charge included in the final check, but in "tourist" Florida there sometimes is. In these cases is any further tip expected? If so, how much for "average" service. If not, why are credit card slips still left open with a "Gratuities" line.