What about this charger + power supply combo?

[BrianG]

Some PC supplies can be made to boost the output to the 13-14v range, but no way to tell until you open it up and do some digging. And only 12v should be needed, but 13-14v gives the output a little more leeway for voltage sag under load, and a higher voltage requires less current for a given power output.