Why double it when the whole thing will work (more efficiently even!) at a lower voltage? Run the whole setup off maybe 2.5V and there should be no problem with voltage.I'm surprised that you all say he needs a larger power supply. What is wrong with a voltage doubler to supply the regulator? Of course he will need twice the current, but he didn't say that would be a problem.