Das sind halt Menschen, die wichtigeres zu tun haben, als ihr System neu aufzusetzen, weil's immer mal wieder klemmt.

Ganz bestimmt. Das muss der Grund sein.

Ich hatte in der letzten Woche drei verklemmte Macs reparieren müssen.

Na, ob da auf diesen Macs tatsächlich überall Apples MacOSX drauf ist und nicht eine Linux-Distribution der Wahl (weil bekannt ist, dass man bei der NASA Linux und Open-Source SEHR zugewandt ist und es ziemlich viel und selbstverständlich einsetzt und propagiert im Großen auf deren dicken Servern wie im Kleinen auf den verschiedenen Clients und auch Einiges an Software dafür schreibt, benutzt und veröffentlicht)?
Auch Linus Torvalds nennt ein MacBook Air sein eigen (weil er die Hardware gut bzw. die Beste findet). Und hat darauf Linux als alleiniges Betriebssystem drauf.

Eben. Deswegen.