Definitely ask the staff, they might be able to find it in their archives if it's not available in the regular library records
Sorry, i do not work there so have no idea. Maybe check with management and they'll be able to help you.
Thanks! Your answer is awaiting moderation.