No, not sure which library that was. The one used in Who was closed down shortly before they filmed it - very convenient for them as they could modify it to their needs. So that gorgeous room is sitting there, either empty and derelict, or bought by some company and not accessible by the public. Sad :(