HAHA, funny enough I just got a digital ver PS5 in today. The HDMI choke filters are same dimension as the disc one.
FYI, recently I replaced a couple of PS5's HDMI port, same port bought from same supplier but after replacement, the port/cable become quite sensitive from swinging or touching,signal lost and came back on. Double, triple checked on the soldering work, all perfect. If you dont do anything to the cable connecting, if works just fine. No idea why this start happening.
Hm. That is weird. Usually what I do is check every pin with precision tweezers under a microscope to see if there's any movement. If it still has the problem I switch out the port.