Ok, going to use the free dining in Sept. This will be the first time for free dining and for using the Dining plan where tip is not included. My question is -- what if you have terrible service- do you have to pay the tip that is included? Or can you leave what you feel the server should get. I realize you can add more- but what about less?? I mean will they hunt me down after I leave a different amount and pick pocket me? oops- let me correct myself- we'll have 8 people in our party so I'm told tip will be added. So now I'm wondering what IF I'm not happy- do I have to pay the amount that is added? OR can I leave whatever my little heart desires?