Where to get a small 8,4V to 5v DC-DC converter that would have 2,5A on the 5v output and be compact?