Hi Mort,
In my PM where I first suggested you might need a DC/DC regulator for your project this is along the lines of what I had in mind.
You are not allowed to view links.
Register or
LoginI am not suggesting this exact one as I have not gone over your exact requirements. If you search around I am sure you can find a better price and fit for you, but just to get you on the same track I was.
There are also direct ATX power supplies that use a 12vdc input but they seem to be a little pricey and I am not sure you need that much power or have room for them.
-Jeff