I always tip. 15-20% is customary.