I have a DC-DC converter you may be interested in. Input range is 36 to 72 volts. It outputs +12 & -12 volts, and is capable of sourcing 1250ma (15 Watts). This unit switches at 200kHz with 84% efficiency. Load regulation is around 1%, with an output ripple of 75mv peak to peak. The device is manufactured by
Fabrimex with a model number ECW48-121230C. Here is the
datasheet. If you need other (smaller) voltages, run it through an appropriate regulator IC.
These were pulled from a fan control system that was purchased on ebay. I could pass one along at a very good deal.
The headlamp project you listed is very sweet, nice clean build. Very interesting.
Andy