The downside of outrageous prices:
I recently obtained a 15c after many years of going RPN-less. My 11c was lost long ago, I don't know where. The 15c showed up at a surplus store here in town. I think I paid something like $25 for it. I knew it was a good deal, but I had no idea!
Now I'm starting to feel kind of guilty that I have
this $200-$300-$400(!) device in my desk drawer that I rarely use.