Hi Michael,

----------
> From: Michael Sokolov <sokolov@alpha.CES.CWRU.Edu>
>    By the way, do you have the owner's manual for DS5000/133? I have one
> such box, but I don't have any docs for it. If you have the owner's
manual,
> could you tell me its DEC part # so that I can ask Richard about it? Also
> if it references some technical or maintenance manuals in the related
> documents section, could you tell me their #s too?

Sure, i bought the decstation for myself at that time, with all the
documentation.

anyway, what I have is:

(leaflet, appr. 60 pages)
DECstation 5000 Model 100 Series
Hardware Installation Guide
EK-PM32B-IN-003

(spiral bound folder, appr. 250 pages)
DECStation 5000
Model 100 Series
Hardware Operator's Guide
EK-PM32C-OG.004

hope this helps,
emanuel.