Should City Hall managers be paid overtime for their work during the flood?