Most things in the RV have their own manuals. We have separate manuals for the water pump, the stove, microwave, hide-a-bed, toilet, shower, thermostat, fan....EVERYTHING.
If you could figure out brand & model of whatever you're dealing with, try Googling for a manual. I think manufacturers...