they are forced to use whatever OS their IT department provides.

It's also the other way around: we have linux machines at work, controllers for specific devices. A lot of people don't want to open a manual it seems. They just submit support tickets, angrily, as they can't figure out that the menu is in a different place.