R3126 , R3127, R3128 in power supply burnt up, anyone have their values ? or suggest where I can get a service manual. much appreciated. B.