Replacement of PS4 toslink socket

Hi!

While pulling out the toslink cable out of the PS4, the plug broke in two pieces and one piece got stuck inside the PS4.

The local electronics dealer pulled it out with some special tool.

Back home I realised he pulled out the complete toslink socket !!!

Sound output is still working if I fix the plug perfectly...

That means only the socket and is ripped off and no electronics has been damaged!

So is there any chance to get a replacement socket that fits into the PS4 body ?

Tom