Just a suggestion Ron, but if you use a plastic battery box, you could mount your DC/DC device on the top or side and have an Anderson plug setup, to connect it to your vehicle cabling.
This would not only make it easy to fit and remove but would give you a portable power supply.

