Found out today that the X4000 has a bad "digital board" which I assume refers to the HDMI board.
The shop is not a dealer, or authorized repair shop, simply a general electronics repair place. So, the they'll have to send it elsewhere since they can't source a replacement board. Does that make sense?
Projected to cost $375-450 (+ $45 already paid for estimate). I did find a X4100W OEM HDMI board online for $450, but, not the X4000. So, I believe they're not jerking me on the estimate.
I found of about United Radio and they charge $205 just for out of warranty estimates + $46 to ship it back. Assuming, I have them just diagnose, I'll be $300 out.
The whole reason I went to this general repair shop was to skip shipping and save on time and cost. Neither of those objectives was met.
What happened to diagnosing the PCB and fixing the root cause? Alternately, what kind of issue renders the whole HDMI board kaput? Have they become so complex to be like a PC motherboard with multiple layers and what not and completely unfixable or unfeasible due to repair time vs. replacement cost?