I happen to know a couple of guys inside the old MIPS company when they were in business. I got a printed copy of the R10K (mips-4) user manual, but I am still looking for R12K, R14K and R16K (mips-5).
R10, R12, and R14K were used in the SGI IP30 workstation, which on DTB we are still supporting for Linux (and recently for XINU, but it's extremely experimental).
Hope someone will release these UMs!