I found this transmitter online, I think it would be able to do the job. I have a raspberry pi mini pc that can act as a video player, so I need a transmitter for it. If someone can double check this I'd be very appreciative.
https://www.aliexpress.com/item/3256805248345032.html