I was in MIA 3 weeks ago and Ocean Drive automatically add 17%, Lincon Rd 15% and everywhere else we went automatically added 15% too.
What I really hated was when the added the tip on and then their credit card slip had ADD. TIP on it so you think it hadn't been included. I just drew a line through it. Don't mind paying a tip for good service and good food. But they should give you the choice.