Yes it's included in the prices. Technically it's supposed to go to waiters, but I don't think it really happens. They just get a "livable" flat wage. Back in the days it was customary to just leave the change when paying for your meal in cash, but it was rarely the equivalent of more than a dollar or two.