Anyone here ever replaced the HDMI port on a PS5?

SIL just asked if I’ve ever replaced the HDMI port on a PS5. I’ve never even opened one and don’t even own one and told her so.

Just in case I get roped into this, how easy/difficult are we talking here?