Nice find! Have fun with it.
For a manual try your local suppliers first, but I ordered mine from Big Reds in Tx. They got it for me fairly quickly. The 20 series is fairly comparable and there is a manual online for it.
Dropbox - Branson 2 series service manual.pdf