I found out sometime last year that the HP 35s, seemingly the last of its kind, was discontinued a few years ago. I have a few that are over 15 years old and still work well, though one has...