I think bitsavers is the best spot for that type of thing. But if for whatever reason Al doesn't wish to, I'd be happy to put them at: http://www.classiccmp.org/PDP-11/ in the RT11 directory. There are already files and distributions of interest there. J