I have some nice old HP (15c, 41cx, 42s, 28s, 17bii) I bought new when they were manufactured.
I have some recent ones (48gx, 49g, 49g+) and only ONE really nice now working (after repairs) old led model, an HP97 I bought for 2€ at a flee market.
But NO HP71B and I think I miss something about that (that why I partly made this emulator ...). I still regret not have bought one in the 1990's ...