For many years, we've been in the habit of leaving restaurant tips in cash, because of various reports that restaurant managers would basically take card fees out of the tip. I recall hearing more recently that there has been some effort to crack down on that practice, but still, old habits.