Who receives holiday pay at time and a half? A Christmas eve tale