Dallas city manager's salary: Is $400,000 too much?