Correcting what came out wrong- gratuities are automatically added to the bill for larger parties in general, not included in the dining plan. The dining plan, in most cases, no longer includes...
This is a package deal and gratuities are included according to the brochure, as you say. Do not worry about leaving an extra tip at the end of your meal. You would then be tipping above and beyond...