I've been looking through everything we have (including the CDROMs from 2002-2003) but the main issue is that the publication numbers listed for the physical manual they need (03-4200) is quite different than the publication numbers for all of our stuff. Everything we have uses a publication number like 297-3601-450, so it's possible that installation manual is a separate, special manual you/the company installing the switch would have for the initial physical install and the rest of the publications assume you already have an installed DMS-10.
There's a chance we never even had that manual ourselves, if that's the case! I did find our original installation proposal documents - our DMS-10 was installed in 1989/1990 :)
Though the particular manual mentioned in the video may be unobtainium.