I've heard various descriptions of the $25 per person fee for Celebrity's specialty restaurants. Is it a gratuity or is there a gratuity expected over and above the per person charge?