Sjekker nå, på hjemme-PC-en. På jobb er det "Pdf Creator" som kommer opp. Her hjemme, på liste over printere jeg kan velge mellom, kommer det opp et alternativ som heter "Microsoft Print to pdf".