“Service”: Any employment for the District or the Board, excluding overtime or extra service for which an employee is entitled to receive salary.