DO-35 LED's

YEARS ago, Radio Shack offered a red LED in a DO-35 package. I have searched the net and cannot find anything like them anywhere. If any of you have some in your collection, I would be very grateful if you would be willing to part with them. (Basically the same package as a 1N4148/1N914 diode)

Thanks!