Should educators work outside their normal hours to make Christmas jolly?