I still have in my possession somewhere printouts in 3 ring binders of the red, blue, and yellow books.

I am very glad that stuff all died.

Red Book is still very much alive AFAICS. I have nothing about Blue Book either, but its extensions make things better, of course!