a tip is a gratuity , therefore if you are not gratefull ,do not tip. if you are, tip.how much you do or do not tip is entirely up to you
pretty simple really