They probably used one of those checkout registers that default to highest tip.