A harking for the past?

I have an HP 97 with a mag card reader, but it has an LED display. I’m not sure there were any HPs with both nixie tubes and mag cards, by the early 1970s (when the programmables started appearing) the displays were almost all LED.