Defroster Tubes

Richard Ehrenberg has original sets of them he lists from time to time. They’re not cheap, I think $119 a set, but they’re NOS and correct. Maybe look him up through the magazines, or he sometimes will list them on eBay under REhrenberg.