I too spent some time in the old R.A.E. library looking at some of the gems there. I am sure that it all ended up with all the stuff from the R.A.E. museum. This was all looked after by Brian Kervell the chief librarian. He retired at about the same time as the R.A.E. wound up. All of the artifacts then went to the Science museum. Shame it didn't stay in the Farnborough area though.