If 15% service is added to the check on the Dutch side, that's the tip. Period. If the service was exceptional, we'll add more, but would never ask the server if they get that 15%.