Originally Posted By: mlord
Pretty much any DC-to-DC voltage converter will work -- there are tons of them on eBay for about a buck apiece.


Eg. This kind of thing: one does have to use a voltmeter for initial setup, measuring the output voltage while turning the tiny potentiometer adjustment to get 7.0V from it.
https://www.ebay.ca/itm/DC-DC-Buck-Step-...le/112472493337

Or these more expensive ones, which have a hardwired output voltage (use 9V in this case):
https://www.ebay.ca/itm/Power-Supply-12V...le/232328740718