Bill Wright submitted this idea :
It would need to output 14.2V, not 12V.

But, they are really easy to modify to output any voltage within a
range. Lots of info on the web, usually just a fixed potential divider,
providing feedback to the switching circuit. My shack has a 50v 50amp
telecoms PSU, which I modified to output 13.8v.