Pauline, I'm with you on this. Our next trip will see 10 of us on holiday together, and if restaurants think that justifies an automatic 20% addition then we will automatically become two groups of 5 and out of sheer annoyance will tip less than we would have done.