New name, same great service! The Libraries’ Tripsaver—which includes interlibrary loan among other useful services—is changing its name toInterlibrary Services. The name change will take place at the start…