If I had thought about server power supplies at the time I may have gone that route but I ended up getting a ham radio supply. 30 amps, very compact and less than 5lbs I think. Output adjustable 5-15v.
http://www.hamcity.com/store/pc/view...FQY65Qod7kQX_A