I've since spoken to another technician who was able to describe the operation, and was even able to give an acceptable (I think) way to accomplish what I'm looking for.
Normally, an auxiliary battery is installed to power external accessories connected directly to it (i.e., not through the...