The shank is is not what makes a good tool.
pwrrrrrrr, BALANCE, Vibration, etc - this is what makes a good tool.
I've never used the HF units, but there seems to be a couple recommendations on that on your other thread.
For budget, look at Bosch. For a bigger budget, go with Hilti.
Again, hammer drills get used HARD.
I'd skip the used market and just look new.....