Looking for a Buck Boost DC-DC Converter with an input 10 - 24 V and an output 13.8 V at 12 Amps. Any good sites to find one like this? I've looked at one from cruising electronics and powerstream. Thanks