At work I use vicor DC-to-DC converters on a regular basis. That link is for a circuit board mount but they make lots of other packages for mounting. I think the one I selected above is rated at 5 amps constant output.
Thom & Rose
The problem child: 2014 Voltage 3950
The problem solver: 2017 Tiffin Breeze 32BR