Bizony, bizony vannak, és nem is kevesen...
Ha jól emlékszem, akkor a nagy gépteremben most WinXP (magyar és angol IS), valamint KDE 3.5 van; de erre nem mernék megesküdni... A kisebb géptermekben azt hiszem, hogy csak magyar WinXP és valamilyen Linux van, ott még nem néztem :)
Egyébként köszönöm a választ, már meg is találtam :)