I hope arrangements have been made to preserve and protect such important documentation. Multiple storage facilities, back ups, etc. It would be tragic if this information were to be lost. If you have the only source of VF-3's roster at the Battle of Midway (as an example) and it was accidentally lost it would be quite a loss.
Stuff like that I keep separate and safe, made copies long, long ago. These, and a select bunch of others, including photos, have their very own water/fire proof boxes. Kids have their instructions . . . if they don't want them, I'm sure Pensacola does.