Windows--in my head. Took several counseling sessions and intense electro-shock therapy, but my therapist says the scars are slowly healing.

Find a university that mirrors a Linux repository. They are very commonly hosted there. If it hosts it there, then there will be some kind of official Linux support on campus.

Well, the drivers are so bad over here that we need every advantage we can get.

Well, I'd have both OSes at a school. While the CSRs and network admins will hate you for it--I think both OSes provides the healthiest learning environment. Every kid is different. Some get things quick, some don't. Personally, I think you should just make the resources available to the students, and then let them decide what they want. That will be more informative to you about whether or not its a good idea. If you put in Linux machines, and none of the kids use them--then take them out and say its not worth it. If you put them and Windows almost never gets used, then take the Windows machines out. Trying Open Source is really very cheap. For an entire school district, you could probably have one or two Linux guys set everything up for you within a month or two.

Clockspeed is good and great and all, but that isn't a very good measure of how many calculations it can do. 6.0Ghz doesn't mean anything (especially if we're talking radio frequency) other than how quickly your processor's heart pumps. This is why the 3.0Ghz "barrier" has been in place for so long--it's because Intel internally switched from benchmarking by clock speed to benchmarking by floating point operations per second. Sure, it might be clocked at 6Ghz, but if I'm only getting a 6giga-flops outta that, I'd be better off buying an Intel Atom.