I remember reading about the Mayor and the Council planning to give a bonus to the City Manager for saving money to the City. Does the amount of the City Manager's salary in the article include the benefits, like penson, health benefits and a monthly car allowance of several hundreds of dollars?