Yes the tip is included but sometimes you may get a CM who goes out of their way. A bit extra doesn't hurt. The buffets I am torn because I get my own food anyway, but last year at Chef Mickey's we had a wonderful server and my DH gave her extra. There is no right or wrong way to handle this, it is just your preference.