all gratuities no matter where you are should be based on the ORIGINAL cost. the server does not give you 20% less service just because you are paying 20% less for the meal.
just as all those BoGo deals out of the Entertainment book you buy deserve a tip based on paying full price for 2 meals, so does a TiW card deserve a full gratuity based on the pre discounted price.