Either of the power packs you mention should do the job. You might also want to look at the MRC 20. We have a number of club members that are using the 10amp. Aristo and the MRC 20. Both of these power supplies will handle just about anything you want to run.
JD