What kind of DC-DC power supply would you recommend for the WAV Trigger? I am planning on using it in an automotive application where the supply voltage is ~13.8V. I was thinking a 9V buck converter, but am not sure.
9 volts would be fine but the board will run cooler at 6 volts. 