[Jamie]

I respect both ways of handling it, but if it were me, I'd restore it. Just think about the future, 100 years from now.. who knows where that radio will end up?.. it will have a far greater chance of someone cherishing it, and keeping it around, if it works. On the other hand, if you leave it like it is, it could fall into the hands of someone ignorant who thinks it's just a broken piece of junk. Or someone who cant find anyone to fix it, so they throw it out.