When the tip is included as a service charge and you pay by card, or for those places that have the machines where someone can add a tip themselves to card payments, do the staff actually get the money? Do they get the extra above and beyond their wages, and when do they get it (eg with normal pay packet, or end of the night)?