I used to have (I think) a 131. It was a really nice pulse generator, but manuals are scarce. You might have to wait and hope something comes up on eBay. The really nice feature of a good pulse generator is the adjustable delay that allows scope triggering exactly where you need it. I eventually sold it, as I so rarely needed that type of generator.