nope, I have been developer for decades... just get to know stuff like that. Also tipping is usually cash (if it goes through a POS terminal, likely VAT would be paid -- the extra money is likely handed in cash by the employer, bypassing the law)