I know we've chatted about this but Im still a bit confused about it

Friends have just come back and showed me that in the payment wallet left on the table at the disney buffets it still suggests a tip of 15-20%

I thought it was supposed to be 10% for buffets?