If you go with a 12V battery, presumably this 12V would also be the source for the 9V music board when active. While I'd think 12V would not be a problem, it might be worth investing in a few 5-cent diodes to drop the 12V to something closer to 9V going to the music board.
|