Last time I asked the waitress at the Todai buffet in WA and she told
me 10% is the right tip. Yesterday I asked the man at the front desk
in the Todai in CA and he told me 10-15% is the right tip. So that
means they're happy with 10%.