Normal
You may be right about the extra tip applying only to alcolhol with dinner but Guest Relations didn't ask if we had ordered any when we called to inquire about the gratuity. Maybe they had the bill on their computer screen at the time and just didn't specify to us the nature of the extra 15%.
