I personally have the BK 9130 and I am happy with it,
http://www.bkprecision.com/products/power-supplies/9130-triple-output-programmable-dc-power-supply.htmlLinear or switching PSU are the first question you should ask, but I think you are more in the linear world. Do you really need a programmable one? You can save some money if not. What about the Ethernet port not there? Is it a issue for you? Rigol has it AFIR.
Normally you want a power supply which have low noise, or one with lots of Amps (maybe a switching PSU), or one with lots of Volts, or one which have triple outputs, or one which is programmable. Normally hobbiest tend to buy a single PSU unit which can do everything, and unfortunately very often (expecially if you go cheap, not your case) it is just a compromise with performance which do not excel in anything.
Regarding the PSU display I have three Agilent 34401a and one 34661a which are given me exactely what the PSU is spitting out, if those values are critical. Yeah the power number is nice, but it is just math I would put more importance on electrical feature or performances.
I found the HMP4030 condition as 'new' for 850euro + VAT.
This unit is darn good in my eyes (for general purpose it is a very good puppy), but I never touched one. Remember there are some PSU super nice on paper but they are not user friendly and you want to kill yourself in dayly life. The HMP4030 should be a piece of cake anyway.
Nice price too.
Buy it! if you don't like it sell it to me and get the money back To me looks like you are asking what are the alternative to a Ferrari, and for that price is hard for me to say don't do it there is another car which is better because:
1) I don't know for which projects you need such a PSU. As I said for general purpose for that money it is surely a good investment.
2) I don't know what is your taste. Some people like Porsche and other Lamborghini. For example I have no idea is the fan is too noisy for you in that unit.
Just my $.02