I'm weighing the options : try to find schematics and parts, diagnose and repair myself (I'm fine with EE type repairs, can solder, read circuits, whatever); get some tv repairman to do it (I'm busy ...