If a restaurant dares to add the 15%, it is the tip so just go with it and add nothing more. If they didn't add it, most people would add a 20% tip rather than the 15% they added. Their loss. Some day they might figure it out!