Yes until you tweaked it in and wanted the little scary extra output at 16v , i would go with more diodes, a 9v power supply or maybe a 12v regulator or supply. I find some of the switching voltage droppers to be really noisy as they run at about 49khz and make lots of noise. The old 7809 and 7812's are still a nice way to go with appropriate heat sink.
