Alright. Mystery solved.
Indeed, HeadHunter was correct. The latch is, in fact, operated by turning the key in the opposite direction. Turns out when I sent my friend in the hall the first time it "never occurred to him to turn the key the other way".
Man.. I need some new friends.

j/k
Anyway... I was there last night and tried it for myself and found that, indeed, it works like HH described in the first place.
Cheers guys,
db