BUNET, I suppose, is a consortium of those 5 colleges (acronym of their initials), who probably share IT resources and staff. 
office=it might be an appropriate descriptor, but they seem too private for me, and part a larger entity more than their own IT company.
At the moment, besides the overall college institution being mapped, we have libraries and chapels, which are mostly private but might be open to visitors in some cases, and they occupy very distinctive buildings. All other private amenities (college bars, dining facilities) and internal offices are not mapped as such.

If jhdore mapped these for a reason, we can hear it, otherwise I would agree with reverting.