I have two, an old HP E3610 (none of this Keysight rubbish, as Dave is wont to say), only a single output, which is my favorite. I also got one of the dual output ones from the ITT selloff a couple of years ago (a GW Instek) which has dual variable plus a fixed 5V output. I don;t do much analog, so my need for a dual rail power supply for things like op amps is minimal at best, so I almost always end up using the HP to power my projects. If you are planning to work a lot with devices that need +/- power supply rails to function, definitely look to one of the dual output models.
Until the ITT selloff came up and those units started appearing on eBay for relatively low prices, I was planning to get the Korad. I probably would have been happy with that one as well.