@grahamsz @ploum I had one whose book was out of print and there were two copies available at the 24-hour loan desk in the library.