jabian wrote: It should work with no harm.
I use a ham radio 9-15V 30A Switched Power Supply to power all my gear.
30A is overkilling (probably 10A is also more than enough) but I couldn’t find anything smaller with voltmeter and amperimeter included (and the price of these power sources is reasonable).
I modified the voltage regulator potentiometer to work in the range 11-13V. I was worried of starting it with the setting at 15V and burnt something. These power sources can be set for a fixed voltage of 13.8V but I prefer to work at 12.5V.