I read the Rigol review, it sounds good, not sure about Rigol as a trusted brand but I've read some positive feedback replies here on forum.
Is there a particular reason you need a programmable supply? You can get an Instek GPS-4303 or BK Precision 1760A/1672 for far less and they are tripple output. Don't pay for features you don't need
I would like to dial a voltage or current instead of rotating a knob, most/all of these power supply got some connectivity like serial or/and ethernet which sometimes could be useful. I'm a software engineer I might create a piece of software to talk to them, sounds interesting. Then I would like to know what my presents are, like voltage anf current. Some power supplies display only actual values not the maximum preset (for some there is no way to know which value of current you set as maximum). Finally, the price difference is not that high.