If a hair cut costs £80 with a normal stylist (not proprietor), for example, how much (if at all) do you tip? What about the technician?