I am curious what do the students use the computers for? At my small college department ALL of the Desktops in the student tutoring room are barely used, because students bring their own laptops.
What is the reason for the discrepancy? Is it spec based (they are faster), curriculum based (teachers train on the pcs), or familiarity based (linux would be used even less)? Thanks just curious.