Hi, just wondered how much gratuity tax usually is at Disney restaurants? When we made our ADRs today they said that since there are 6 of us, 4 adults and 2 kids, they would add 18%, how much is it normally, I take it this is the tip? I am from Scotland and we tip as much as we want, it is usually formalised on a bill, thanks