Update: the bathrooms are now available. The repair was completed in the afternoon on July 26. Thanks to the plumbers!
The library bathrooms are out of order, likely until sometime on Wednesday, July 26. Please be aware of this when you visit! We apologize for the inconvenience.