Ladies and gentlemen get used to the 15% service charge on the Dutch side and tip accordingly.