Great - these are nice and inexpensive. I was afraid I would have to get one of them $100 deals to actually get decent output.
I hadn't thought of just a DC/DC converter before - that's a good idea.