You can just buy any old 13.8V SMPS and stick 150...300VDC into it (rated voltage is normally 110...240VAC, take that times sqrt(2))
And then out comes your 13.8V :-) I switch mine on+off together with the main battery contactor (which is operated from the 12V aux battery)
|