I'm thinking about experimenting with a Pro mini to manipulate the PWM signal on the DCDC 'DVCT' line. The Pro Mini can take up to 12V input. What would be the simplest way to power the unit? Is there a good 5V source in the IMA compartment? Could I use a voltage divider to drop the 12V system voltage a bit? Maybe I'll need or should use a buck converter?