@saganus Completely unrelated but I saw you ask a question back in 2019 on how to repair a TRS-80 Model 4P. You might want to look at the YouTube channel Adrian's Digital Basement. He repaired a Model 4P about 10 months ago. Did three videos on it.
Hopefully you already figured out how to fix it though!