I don't remember if it was Pineapple Pete, but we were told at a restaurant on the Dutch side that the service was placed on the tax line because there was no other place to put the tip if you want to add it by credit card.