Well you
only asked where to find the DIVX codec in the original topic.
Sounds like there are permissions/restrictions setup on the computer in cafe. Make sense to me since don't want people mucking around/installing unnecessary programs.
Normally you run the installer, which registers the codec, making registry entries and copies the files to SYSTEM32 folder.
BTW, qt or rm files require quicktime/alternative real player/alternative respectively.