Should this building be renamed the Bannerman Centre, and the amenities inside mapped separately?

As I understand it (as per https://www.brunel.ac.uk/greentrail/Innovation-Page?entryid=656074d9-cedc-4056-ba89-75c2e28bd189), it is home to the library (which it is currently tagged as, as well as student centre and  "student professional development").

Backstory: I signed up for their library card and was told to pick it up from the "Library in the Bannerman Centre". I look up the Bannerman Centre and cannot find it.

Will be visiting soon, so can survey.