What do you guys think about a Picopsu type dc-dc board powered with a PSU from a phat PS3? I know that the PS3's psu can be converted into a 12v bench supply like ATX psu's. I figured it would work since the dc-dc board just needs a 12v input. The only thing I'm not sure about is if the psu...