For the QS locations like BOG where food is brought to your table, if you'd like to tip and are paying with a credit card, will the machine give you the option to add a tip, or would it be advisable to instead tip the server (in cash) when they bring the food to you?