later edit: your thread title says 12v and 9v, but message says 12v and 5v. what's the deal with that?
My mistake. I really need both 12V and 9V (and not 5V)
So if you need both 12v @ 3A and 9v @ 3A then the easiest solution would be to use two of those switching regulators, like the one I recommended. It may be possible and cheaper to work at making a dc-dc converter that does like 12v @ 6A and then use a linear regulator to get 9v @ 3A out of 12v ... the problem is you'd waste 9 watts (3v x 3A) as heat so you'd need a heatsink for the linear regulator(s) but on the other hand you won't have a second switching ic, large inductor, diodes etc.
BTW. Might want to make a free account at ti.com and then use their Webbench software :
http://www.ti.com/lsds/ti/analog/webench/overview.page It makes designs based on what you input and based on TI made ICs but it's a good starting point... for example for 50-70v in, 12v @ 3.2A (3a with some margin), the system recommends LM5088 and LM5116 , both reasonably cheap ICs and easy to solder and work with.
But you should really encourage your friend to work with a DC input that's lower, let's say maximum 48v. It would make your power supply much, much cheaper as you'll have lots of parts to choose from.