Hello, first thread for me. Advice to get DTS-MA & TrueHD audio playback.

My friend has been admiring my Pi with Kodi for awhile & so I helped him build his own. I have the Pi 3B+, which I know is not capable of passing through the HD audio codecs (DTS-MA / Dolby TrueHD). However, he purchased Model 4B which I thought was capable of passing through HD audio. I assumed it would work out of the box after setting up the SD card with NOOBS & the latest version of LibreELEC, but in Kodi audio settings DTS-MA & DolbyTrueHD capable receiver aren't there. I know his receiver is capable of HD audio so I'm not sure where to go from here. Can you guys point me in the right direction to get this working for him? Thanks!

Thank you !!!