This kind of thing seems like a prime opportunity for some good old fashioned student agitation. When I was at uni people occupied the library just because they

This kind of thing seems like a prime opportunity for some good old fashioned student agitation. When I was at uni people occupied the library just because they weren't given 24 hour access to it. They turned it into a free peer to peer skills exchange for a couple of days. They eventually got what they wanted IIRC. This was only about 5 years ago. Couldn't he at least have given the professor's name? I guess when uni becomes such a massive financial hedge, agitation goes out the window.