In preparation for my first trip to FL next week, I was looking around their website. I noticed a line at the bottom of the menu, reading something like "an 18 percent service charge will be added to all checks". Is there any expectation of a further tip, in addition to this? has anyone here ever left one? if so, how much?