My Decklink Mini 4k was under $200 and does the job. I don't know about your Apple adapter. Were it not working, then I would look at getting a HDCP splitter

My Decklink Mini 4k was under $200 and does the job. I don't know about your Apple adapter. Were it not working, then I would look at getting a HDCP splitter midway in the chain.