Gentlemen, but what about lifetime ? Rigol works 2 years, then there is a likehood you can throw it to trash.
HP machine can work 20 years non-stop, I recommend looking for 400MSa/s and 1GSa/s models. I have HP 54502A machine and it is absolutely worth the price, I do not regret the money invested (about 250€). It has instant response, inuitivie interface and it is reliable. I was lucky I got an unit that was rarely used regarding to not-burnt CRT.
When I have to work with Rigol at school, I rather throw that crap out of window.