@codinghorror Not mentioned - you can't tip more than the bill - credit card company won't accept it.