re: #560 Jeff In Ohio
Don’t know if it is true or not, but it was a common topic of conversation when I lived there.
On campus? What years? My wife went there in the early-mod 70’s and my cousin in the 60’s (sorry,, I have no idea when the library was built)