FYI - as long as you don't want to go over 15V, there are a ton of good, inexpensive PSUs out there, all of which are done for HAM radio.
Under $200 you can get adjustable ones with analog meters all the way up to 45 Amps. Under $130 you can get up to the mid 20 Amp range.
If you go to a local HAM swap meet, you can find them even cheaper

Most of the switcher based units can be V-Modded as well