I can remember many years ago wondering if any pinballs ever used nixie tubes for displays.. that was before internet existed and before i even knew of the existance of Rally machines (they were the first ones i'd seen with the nixies in them). I remember thinking how cool they looked with the nixies in them.
