If I was looking, I'd call the local (there in Livermore) library.
Librarians know *everything* -- and if they don't know, they'll look
it up/find out. Funds are often limited, so offer to call back on your
dime at a convenient time for them. And even if funds aren't limited,
the money spent on long-distance calls can't be used to buy books,
keep the library open, et al.

J, library fan. And no, I don't work there -- just have come to
appreciate the folks who gift those of us that aren't so good at
research.