I'm Dutch, I don't tip. I'm not even joking, lol, Dutch people don't ever tip. Unless you have to pay like 72 euros, it's pretty normal to pay 75 then. But seriously, why would you tip? People get paid to do their job. I'm a teacher, I don't get tips from children of parents, do I?