Just to update this thread: I got a fourth Phillips Discoverer "astronaut helmet" television today. This one was the cheapest one yet, at just $25. Each one has been cheaper than the one before. Maybe by next year they will pay me to haul one away?
I'm assuming it has the same problem with failing caps that two out of three (so far) seem to have.
Do I need this many? NO. I'll probably sell this one onward to a decorator shop., after repairs. Still like the idea of turning one into a music server, but just can't bring myself to "gut" an otherwise repairable survivor.
I still need to get the service manual for these, to repair them beyond the obvious steps (DeOxit, check resistors and transistors and replace electrolytics in any case)... I guess now more than ever!