TU56/TC11 restoration - Power supply question