Question is above. Ah and is it wise to get a used ps4 with a broken drive and then repair it. What does it cost to repair a drive and a new Hdmi port?
Drives can't be repaired, at most a used one for the exact Ps4. HDMI port is just as sone thing. I got a used one for 100 euro. The same would cost a repair if your trusted workshop can get the spare parts at all.
Relate my statement to a friend who repairs laptops and has defective PS4s.