You're right. They would be better off running Linux.
LOL. I really wasn't going to specify, but yeah, Linux would be my choice. OSX is good too. as long as you don't mind DRM-enabled operating systems.