Damn! Such a shame. I picked up a collection of radio hobbyist mags from the 50s yesterday with schematics etc. for a lot of old gear like that, particularly the tone generators and receivers. A lot of stuff like that can be refurbished or retrofitted with modern components; I'd have gladly carted it all home for my own amusement
Cheers for posting the photos! It's incredible what lurks in peoples' private collections.