Power supplies are easy to buy in certain voltages like 36V or 48V DC. Its a simple case of finding an old server PSU which is rated at 54V and 2500W.

(CISCO WS-CAC-3000W 6500) is a good example £48 for 55A at 42V

Trouble is 42V is a bit high for most applications. The power is useful though so I started to make a high power (~1500W) DC-DC converter to power my brushless motors spindle (Oh so many outstanding projects)

Datasheet: http://cds.linear.com/docs/en/datasheet/1339fas.pdf

Anyway. Here is the library:

https://www.dropbox.com/s/n05o1cr76yy2wio/GD_LT1339.lbr?dl=0