The general rule for tipping is 15% if it's good or average service, and more if it's excellent service. Perhaps this is just me, but I generally round off to the nearest dollar. So, a tip of $5 would be appropriate, or more if it was very good service.
Chat with our AI personalities