Hi everyone. FYI, the repair I made in 2016 (see comments above) still works. I still use the printer. For those who have the same issue, it is worth a try!
open