4K HDMI Audio Extractor

[The DirtMerchant]

I have an old projector that I'm going to hook up for my kids to use their PS4 on.
I didn't even realize the slim PS4 doesn't have any audio out, only audio via HDMI.
So, I need an HDMI audio extractor. There's a lot on Amazon...I'd like a 4k version.
Any recommendations? Or any brand is fine?

https://www.amazon.com/s?k=4k+hdmi+audio+extractor&ref=nb_sb_noss_2

(I assume 4k means it will pass through the 4k signal and a non-4k/1080p version would
end up downconverting 4k signal). That way I'm future proof-ish (the projector is 1080p I think)
but might end up with a 4k at some point!

 

[Akula]

This one is NOT 4K, but I am putting it here as an example of one I've bought that works:

https://www.amazon.com/gp/product/B01I9JG70A/ref=ppx_yo_dt_b_asin_title_o06_s00?ie=UTF8&psc=1

I bought this one for use at church on our A/V cart- I wanted to strip the audio out of the HDMI signal before it went to the projector (because that Optoma projector is a selfish little turd and won't output audio, even from the 1/8" output jack) for sending to a decent speaker. It works great.

It looks like Amazon has a self branded one that says it's 4K compatible, I'd imagine that would work fine.

 

[Hot Monkey]

Extron has 4K HDMI audio extractor I don't know how much they cost. Model number is HAE 100 4K.

 

[Hot Monkey]

Kramer makes one too and it lists "for HDMI signals up to 4K@60Hz (4:4:4) resolution"

Kramer FC-46H24K HDR HDMI Audio De–embedder

 

[The DirtMerchant]

Forgot about this. Got this one from Amazon:
https://www.amazon.com/gp/product/B07KRWYN4R/ref=ppx_yo_dt_b_search_asin_title?ie=UTF8&psc=1

Working for now. No 4K signal going through it, but...it does what I need it to.