I would definitely go for the TDS3012B; it's an older model, but the performance is commensurate with the Tektronix brand.
Oscilloscopes are like "knives" for hardware engineers. The ease of use of the UI is the sharpness of the knife.
If it is not easy to use, you will spend minutes trying to find the mode you need. The UI may not work smoothly.
Just because something is cheap doesn't mean it's good, as evidenced by the widespread use of Tek TBS for educational purposes.
As for Hantek, you can ask anyone who has used it, but I would choose Tek based on performance, ease of use of the UI, and hackability.
(I am a Tek/hp believer. understand that i am biased.)