I think the two times you should tip well are (a) if you spent a while talking to the service person, or (b) if you didn’t.