We're happily running Edubuntu 7.04, but are interested in upgrading to Gutsy (Edubuntu 7.10) over the winter holidays. Is the upgrade worthwhile? Faster start-up of client sessions under Gutsy is attractive, but what are the negatives? I'm concerned about reports of problems with local devices (USB thumb drives).