text: Ah yeah. We have that. I've added residential=university tag on there.
  
  I wonder if halls are also above the shops on the neighbouring building to the East. We can see a sign for it in Mapillary here: https://www.mapillary.com/app/?pKey=8cssfSTVuDFlpVchqDyS8w&focus=photo&lat=51.59677725&lng=-0.11249779&z=17