MIPS assembler manual?

[Mitch Collinsworth]

I've given this question to various people in our local sales office and
they all say they don't know but they'll check into it.  None have called
back yet (it's been weeks) so maybe I can get an answer here.

We have a bunch of DECstation 3100s but no manuals yet because our sales
people had the wrong part numbers or else misinterpreted the numbers they
did have when we placed the order.  One of our programmers needs to get
his hands on an assembler manual for these critters.  My question is
simple (at least it should be).  Is the assembler manual included in the
doc set?  If not, can it be ordered seperately, and if so what is the
part number?  If not, is there any other way to get it?

Thanks in advance for any leads.

-Mitch Collinsworth
 mitch at squid.tn.cornell.edu