don't tip 4 or 5 dollars.....too easy to change to an 8. we had this some years ago, also at an airport food joint (long enough ago that 4 dollars was a good tip)