Sorry for the delay: I hadn't convinced myself yet this email was necessary. But, for the record: using 'aklog.exe' showed that the system was attempting to get tickets from the wrong realm. The student re-installed OpenAFS again a few more times and things started working. John