the socket looks a bit different, yes. But that's not a problem.
I would suggest you try the 4000 conncted to the H8000Fw via S/Pdif to check one more time.
No, it's not common for the S/Pdif to not work. Honestly it's the first time I have a report about it.
Please let me know!