Very much so. It is situation dependent and in your case time dependent. 4.25 was nearly 25+ years ago at this point. Tips have unfortunately morphed into this 'this is how I get paid', instead of 'I like you, here is some extra'. We went from a system that was semi fair to one of capriciousness and pettiness. I once watched a dude dump out of a tip because the server didnt bring him a straw.