Have VAX 82x0/83x0 console floppies been archived?

[Josh Dersch]

I also picked up a VAX 8350 today (it was a productive afternoon). It 
came with a box of maybe 40 RX50 floppies for console and various 
diagnostics.  A cursory Internet search didn't reveal whether these have 
been archived already.

If they haven't already been archived somewhere, I'll take care of 
archiving them later this week...

Thanks,
Josh